feat(avm/brillig)!: take addresses in calldatacopy #8388

fcarreiro · 2024-09-05T11:50:20Z

Makes calldatacopy more flexible. It's also needed to use this opcode in user-space.

As I mentioned we'll probably want most or all opcode immediates to be addresses for maximum flexibility. This is a first experimentation on the pains of doing it :)

fcarreiro · 2024-09-05T11:50:35Z

feat(avm/brillig)!: take addresses in calldatacopy #8388 👈
master

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @fcarreiro and the rest of your teammates on Graphite

TomAFrench · 2024-09-06T09:00:33Z

This is breaking for the nargo <> bb communication so please let me know when this is ready as we'll need to coordinate on syncs/releases/etc.

sirasistant

Brillig changes LGTM

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.53.0</summary> ## [0.53.0](aztec-package-v0.52.0...aztec-package-v0.53.0) (2024-09-09) ### Bug Fixes * Do not reuse anvil admin key ([#8304](#8304)) ([6863fe5](6863fe5)) * Split stores per component and split merkle tree operations ([#8299](#8299)) ([4ee69ac](4ee69ac)) ### Miscellaneous * Change efs volumes to use bursting throughput ([#8370](#8370)) ([d6ebe3e](d6ebe3e)) * Fix spartan test nightly runner ([#8433](#8433)) ([a34f353](a34f353)) * Increase AZTEC_SLOT_DURATION ([#8331](#8331)) ([5d48500](5d48500)) * Merge provernet to master ([#8373](#8373)) ([e1dc987](e1dc987)) * Pw/devnet fixes ([#8385](#8385)) ([4fb4e17](4fb4e17)) </details> <details><summary>barretenberg.js: 0.53.0</summary> ## [0.53.0](barretenberg.js-v0.52.0...barretenberg.js-v0.53.0) (2024-09-09) ### Bug Fixes * HonkRecursion serde for cpp bindings ([#8387](#8387)) ([6162179](6162179)) </details> <details><summary>aztec-packages: 0.53.0</summary> ## [0.53.0](aztec-packages-v0.52.0...aztec-packages-v0.53.0) (2024-09-09) ### ⚠ BREAKING CHANGES * **avm/brillig:** take addresses in calldatacopy ([#8388](#8388)) * remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](#8408)) * return arrays instead of slices from `to_be_radix` functions (noir-lang/noir#5851) * Do not encode assertion strings in the programs ([#8315](#8315)) ### Features * `Module::add_item` (noir-lang/noir#5947) ([075036e](075036e)) * Add `Expr::as_assert_eq` (noir-lang/noir#5880) ([f8f4709](f8f4709)) * Add `fmtstr::contents` (noir-lang/noir#5928) ([05cc59f](05cc59f)) * Add `FunctionDef::set_return_visibility` (noir-lang/noir#5941) ([f3e4f97](f3e4f97)) * Add `FunctionDefinition::add_attribute` (noir-lang/noir#5944) ([f3e4f97](f3e4f97)) * Add `FunctionDefinition::module` and `StructDefinition::module` (noir-lang/noir#5956) ([075036e](075036e)) * Add `FunctionDefinition` methods `is_unconstrained` and `set_unconstrained` (noir-lang/noir#5962) ([075036e](075036e)) * Add `Quoted::tokens` (noir-lang/noir#5942) ([f3e4f97](f3e4f97)) * Add `std::meta::typ::fresh_type_variable` (noir-lang/noir#5948) ([f3e4f97](f3e4f97)) * Add `StructDefinition::add_attribute` and `has_named_attribute` (noir-lang/noir#5945) ([f3e4f97](f3e4f97)) * Add `StructDefinition::add_generic` (noir-lang/noir#5961) ([075036e](075036e)) * Add `StructDefinition::name` (noir-lang/noir#5960) ([075036e](075036e)) * Add `StructDefinition::set_fields` (noir-lang/noir#5931) ([05cc59f](05cc59f)) * Add bot config to toggle simulation ([#8297](#8297)) ([1c7c447](1c7c447)) * Add poseidon relations to UltraKeccak flavor and Solidity verifier ([#8243](#8243)) ([f7e4bfb](f7e4bfb)) * Addressing Nico's router comments ([#8384](#8384)) ([d582c93](d582c93)) * Allow inserting new structs and into programs from attributes (noir-lang/noir#5927) ([05cc59f](05cc59f)) * Arithmetic Generics (noir-lang/noir#5950) ([075036e](075036e)) * **avm/brillig:** Take addresses in calldatacopy ([#8388](#8388)) ([eab944c](eab944c)) * Better println for Quoted (noir-lang/noir#5896) ([176bce6](176bce6)) * Calculate `FunctionSelector`s and `EventSelector`s during comptime ([#8354](#8354)) ([52258b1](52258b1)) * Check argument count and types on attribute function callback (noir-lang/noir#5921) ([05cc59f](05cc59f)) * **ci:** Tracy gate counter preset ([#8382](#8382)) ([882af1e](882af1e)) * Do not encode assertion strings in the programs ([#8315](#8315)) ([f5bbb89](f5bbb89)) * Implement `str_as_bytes` in the `comptime` interpreter (noir-lang/noir#5887) ([f8f4709](f8f4709)) * Liveness analysis for constants ([#8294](#8294)) ([0330ced](0330ced)) * LSP autocompletion for attributes (noir-lang/noir#5963) ([075036e](075036e)) * LSP code action "Fill struct fields" (noir-lang/noir#5885) ([176bce6](176bce6)) * LSP code actions to import or qualify unresolved paths (noir-lang/noir#5876) ([f8f4709](f8f4709)) * LSP diagnostics for all package files (noir-lang/noir#5895) ([176bce6](176bce6)) * LSP diagnostics now have "unnecessary" and "deprecated" tags (noir-lang/noir#5878) ([f8f4709](f8f4709)) * LSP now suggests self fields and methods (noir-lang/noir#5955) ([075036e](075036e)) * LSP will now suggest private items if they are visible (noir-lang/noir#5923) ([05cc59f](05cc59f)) * Module attributes (noir-lang/noir#5888) ([05cc59f](05cc59f)) * Only check array bounds in brillig if index is unsafe (noir-lang/noir#5938) ([05cc59f](05cc59f)) * **perf:** Remove known store values that equal the store address in mem2reg (noir-lang/noir#5935) ([05cc59f](05cc59f)) * **perf:** Remove last store in return block if last load is before that store (noir-lang/noir#5910) ([176bce6](176bce6)) * Remove blocks which consist of only a jump to another block (noir-lang/noir#5889) ([05cc59f](05cc59f)) * Replace arithmetic equalities with assert equal ([#8386](#8386)) ([0d8e835](0d8e835)) * Return arrays instead of slices from `to_be_radix` functions (noir-lang/noir#5851) ([f8f4709](f8f4709)) * Router contract ([#8352](#8352)) ([138dc52](138dc52)) * Sequencer selection in k8s tests ([#8313](#8313)) ([8d9947d](8d9947d)) * Sync from aztec-packages (noir-lang/noir#5877) ([27e4761](27e4761)) * Sync from aztec-packages (noir-lang/noir#5883) ([f8f4709](f8f4709)) * Sync from aztec-packages (noir-lang/noir#5917) ([176bce6](176bce6)) * Sync from aztec-packages (noir-lang/noir#5951) ([f3e4f97](f3e4f97)) * Track proving times in prover stats in CLI ([#8281](#8281)) ([efad298](efad298)) * Tuple return value typescript decoding ([#8319](#8319)) ([b09a1bb](b09a1bb)) * Ultra keccak honk verifier ([#8261](#8261)) ([7f02900](7f02900)) * Unquote some value as tokens, not as unquote markers (noir-lang/noir#5924) ([05cc59f](05cc59f)) * Update AztecIvc interface to facilitate acir-ivc ([#8230](#8230)) ([665750a](665750a)) * Use visibility (noir-lang/noir#5856) ([f8f4709](f8f4709)) * Verify public validation requests ([#8150](#8150)) ([2be1415](2be1415)) * Warn on unused functions (noir-lang/noir#5892) ([05cc59f](05cc59f)) ### Bug Fixes * Address issues when using wall-time ([#8329](#8329)) ([639fb3b](639fb3b)) * Always place module attribute generated items inside module (noir-lang/noir#5943) ([f3e4f97](f3e4f97)) * Bot config for skip public simulation ([#8320](#8320)) ([133b642](133b642)) * Broken build ([#8395](#8395)) ([d0ea6eb](d0ea6eb)) * Collect functions generated by attributes (noir-lang/noir#5930) ([05cc59f](05cc59f)) * Do not reuse anvil admin key ([#8304](#8304)) ([6863fe5](6863fe5)) * **frontend:** Ban type vars bound to a reference from passing the unconstrained boundary (noir-lang/noir#5949) ([f3e4f97](f3e4f97)) * HonkRecursion serde for cpp bindings ([#8387](#8387)) ([6162179](6162179)) * Increase timeout for Sepolia mining ([#8430](#8430)) ([29369ed](29369ed)) * Let `derive(Eq)` work for empty structs (noir-lang/noir#5965) ([075036e](075036e)) * **mem2reg:** Handle aliases better when setting a known value for a load (noir-lang/noir#5959) ([075036e](075036e)) * **mem2reg:** Handle aliases in function last store cleanup and additional alias unit test (noir-lang/noir#5967) ([075036e](075036e)) * Prevent comptime println from crashing LSP (noir-lang/noir#5918) ([176bce6](176bce6)) * Revert "feat: ultra keccak honk verifier ([#8427](#8427)) ([31df5ea](31df5ea)) * Revert "feat: ultra keccak honk verifier" ([#8391](#8391)) ([3228e75](3228e75)) * Split stores per component and split merkle tree operations ([#8299](#8299)) ([4ee69ac](4ee69ac)) * SubscriptionNote preimage attack ([#8390](#8390)) ([94006a9](94006a9)) * Support debug comptime flag for attributes (noir-lang/noir#5929) ([05cc59f](05cc59f)) * Temporary register leaks in brillig gen ([#8350](#8350)) ([5f6d2e2](5f6d2e2)) * Transpiler after noir sync ([#8353](#8353)) ([249e50e](249e50e)) * TXE logs in docker ([#8365](#8365)) ([157dd11](157dd11)) * Use element_size() instead of computing it with division (noir-lang/noir#5939) ([05cc59f](05cc59f)) * Wait for receipt ([#8358](#8358)) ([8b7b2d2](8b7b2d2)) ### Miscellaneous * Add a span to track timing of brillig gen (noir-lang/noir#5835) ([f8f4709](f8f4709)) * Add pass to normalize Ids in SSA (noir-lang/noir#5909) ([176bce6](176bce6)) * Add uint (U128) note to aztec-nr and remove OwnedNote from ValueNote ([#8142](#8142)) ([225b6d3](225b6d3)) * **avm:** Move proving key to avm files ([#8318](#8318)) ([32d67bd](32d67bd)) * **avm:** Remove some unused deps ([#8366](#8366)) ([e2150a7](e2150a7)) * **bb:** Reinstate "chore: uncomment asserts in oink rec verifier"" ([#8356](#8356)) ([4dbad01](4dbad01)) * **bb:** Use std::span for srs ([#8371](#8371)) ([f174699](f174699)) * Bump some dependencies (noir-lang/noir#5893) ([176bce6](176bce6)) * Change efs volumes to use bursting throughput ([#8370](#8370)) ([d6ebe3e](d6ebe3e)) * **ci:** Don't run on draft PRs ([#8426](#8426)) ([8abe6c8](8abe6c8)) * **ci:** Skip vk generation on `protocol-circuits-gates-report` and `noir-format` ([#8398](#8398)) ([824aa8a](824aa8a)) * **ci:** Test lowering of non-persistent ebs provisions ([#8360](#8360)) ([8ee8595](8ee8595)) * Cleanup str_as_bytes (noir-lang/noir#5900) ([176bce6](176bce6)) * Delete more unwanted stuff from noir code ([#8335](#8335)) ([d2a8aa4](d2a8aa4)) * **docs:** Cli wallet ([#8182](#8182)) ([7298c8f](7298c8f)) * **docs:** Fix migration notes ([#8447](#8447)) ([1e91469](1e91469)) * Error on false constraint (noir-lang/noir#5890) ([05cc59f](05cc59f)) * Fix some instances of missing unsafe blocks ([#8232](#8232)) ([e8e0907](e8e0907)) * Fix spartan test nightly runner ([#8433](#8433)) ([a34f353](a34f353)) * Improve ec addition ([#8291](#8291)) ([e8a097c](e8a097c)) * Increase AZTEC_SLOT_DURATION ([#8331](#8331)) ([5d48500](5d48500)) * Make nested slice error more clear for `[[T]; N]` case (noir-lang/noir#5906) ([176bce6](176bce6)) * Merge provernet to master ([#8373](#8373)) ([e1dc987](e1dc987)) * More efficient verification with shplonk and gemini ([#8351](#8351)) ([e51d157](e51d157)) * Move spartan network tests to nightly ([#8369](#8369)) ([8fe045c](8fe045c)) * No assert in `is_valid_impl(...)` ([#8397](#8397)) ([1c1d35a](1c1d35a)) * Pw/devnet fixes ([#8385](#8385)) ([4fb4e17](4fb4e17)) * Redo typo PR by FilipHarald ([#8418](#8418)) ([2894b68](2894b68)) * Redo typo PR by operagxsasha ([#8429](#8429)) ([a1060a3](a1060a3)) * Remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](#8408)) ([dd09b76](dd09b76)) * Remove equality operation on boolean constraints against constants (noir-lang/noir#5919) ([176bce6](176bce6)) * Remove override to use rust syntax highlighting (noir-lang/noir#5881) ([f3e4f97](f3e4f97)) * Remove unimplemented headermember opcode from avm ([#8407](#8407)) ([cfea06e](cfea06e)) * Renaming `Instance`'s ([#8362](#8362)) ([4789440](4789440)) * Replace relative paths to noir-protocol-circuits ([3c9d85e](3c9d85e)) * Replace relative paths to noir-protocol-circuits ([69b1754](69b1754)) * Replace relative paths to noir-protocol-circuits ([feff126](feff126)) * Replace relative paths to noir-protocol-circuits ([3d58d36](3d58d36)) * Replace relative paths to noir-protocol-circuits ([7c15ac4](7c15ac4)) * **revert:** "chore(ci): Test lowering of non-persistent ebs provisions" ([#8392](#8392)) ([2ea6ec2](2ea6ec2)) * Send anvil logs to stdout ([#8311](#8311)) ([6a2614a](6a2614a)) * Uncomment asserts in oink rec verifier ([#8316](#8316)) ([a7f3144](a7f3144)) * Update git user for release PRs (noir-lang/noir#5894) ([176bce6](176bce6)) * Use `new_let` more widely (noir-lang/noir#5882) ([f8f4709](f8f4709)) </details> <details><summary>barretenberg: 0.53.0</summary> ## [0.53.0](barretenberg-v0.52.0...barretenberg-v0.53.0) (2024-09-09) ### ⚠ BREAKING CHANGES * **avm/brillig:** take addresses in calldatacopy ([#8388](#8388)) * remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](#8408)) ### Features * Add poseidon relations to UltraKeccak flavor and Solidity verifier ([#8243](#8243)) ([f7e4bfb](f7e4bfb)) * **avm/brillig:** Take addresses in calldatacopy ([#8388](#8388)) ([eab944c](eab944c)) * **ci:** Tracy gate counter preset ([#8382](#8382)) ([882af1e](882af1e)) * Replace arithmetic equalities with assert equal ([#8386](#8386)) ([0d8e835](0d8e835)) * Ultra keccak honk verifier ([#8261](#8261)) ([7f02900](7f02900)) * Update AztecIvc interface to facilitate acir-ivc ([#8230](#8230)) ([665750a](665750a)) * Verify public validation requests ([#8150](#8150)) ([2be1415](2be1415)) ### Bug Fixes * Broken build ([#8395](#8395)) ([d0ea6eb](d0ea6eb)) * Revert "feat: ultra keccak honk verifier ([#8427](#8427)) ([31df5ea](31df5ea)) * Revert "feat: ultra keccak honk verifier" ([#8391](#8391)) ([3228e75](3228e75)) ### Miscellaneous * **avm:** Move proving key to avm files ([#8318](#8318)) ([32d67bd](32d67bd)) * **avm:** Remove some unused deps ([#8366](#8366)) ([e2150a7](e2150a7)) * **bb:** Reinstate "chore: uncomment asserts in oink rec verifier"" ([#8356](#8356)) ([4dbad01](4dbad01)) * **bb:** Use std::span for srs ([#8371](#8371)) ([f174699](f174699)) * Improve ec addition ([#8291](#8291)) ([e8a097c](e8a097c)) * More efficient verification with shplonk and gemini ([#8351](#8351)) ([e51d157](e51d157)) * Remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](#8408)) ([dd09b76](dd09b76)) * Remove unimplemented headermember opcode from avm ([#8407](#8407)) ([cfea06e](cfea06e)) * Renaming `Instance`'s ([#8362](#8362)) ([4789440](4789440)) * Uncomment asserts in oink rec verifier ([#8316](#8316)) ([a7f3144](a7f3144)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

Automated pull of Noir development from [aztec-packages](https://github.com/AztecProtocol/aztec-packages). BEGIN_COMMIT_OVERRIDE feat(avm/brillig)!: take addresses in calldatacopy (AztecProtocol/aztec-packages#8388) END_COMMIT_OVERRIDE --------- Co-authored-by: TomAFrench <tom@tomfren.ch>

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.53.0</summary> ## [0.53.0](AztecProtocol/aztec-packages@aztec-package-v0.52.0...aztec-package-v0.53.0) (2024-09-09) ### Bug Fixes * Do not reuse anvil admin key ([#8304](AztecProtocol/aztec-packages#8304)) ([6863fe5](AztecProtocol/aztec-packages@6863fe5)) * Split stores per component and split merkle tree operations ([#8299](AztecProtocol/aztec-packages#8299)) ([4ee69ac](AztecProtocol/aztec-packages@4ee69ac)) ### Miscellaneous * Change efs volumes to use bursting throughput ([#8370](AztecProtocol/aztec-packages#8370)) ([d6ebe3e](AztecProtocol/aztec-packages@d6ebe3e)) * Fix spartan test nightly runner ([#8433](AztecProtocol/aztec-packages#8433)) ([a34f353](AztecProtocol/aztec-packages@a34f353)) * Increase AZTEC_SLOT_DURATION ([#8331](AztecProtocol/aztec-packages#8331)) ([5d48500](AztecProtocol/aztec-packages@5d48500)) * Merge provernet to master ([#8373](AztecProtocol/aztec-packages#8373)) ([e1dc987](AztecProtocol/aztec-packages@e1dc987)) * Pw/devnet fixes ([#8385](AztecProtocol/aztec-packages#8385)) ([4fb4e17](AztecProtocol/aztec-packages@4fb4e17)) </details> <details><summary>barretenberg.js: 0.53.0</summary> ## [0.53.0](AztecProtocol/aztec-packages@barretenberg.js-v0.52.0...barretenberg.js-v0.53.0) (2024-09-09) ### Bug Fixes * HonkRecursion serde for cpp bindings ([#8387](AztecProtocol/aztec-packages#8387)) ([6162179](AztecProtocol/aztec-packages@6162179)) </details> <details><summary>aztec-packages: 0.53.0</summary> ## [0.53.0](AztecProtocol/aztec-packages@aztec-packages-v0.52.0...aztec-packages-v0.53.0) (2024-09-09) ### ⚠ BREAKING CHANGES * **avm/brillig:** take addresses in calldatacopy ([#8388](AztecProtocol/aztec-packages#8388)) * remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](AztecProtocol/aztec-packages#8408)) * return arrays instead of slices from `to_be_radix` functions (noir-lang/noir#5851) * Do not encode assertion strings in the programs ([#8315](AztecProtocol/aztec-packages#8315)) ### Features * `Module::add_item` (noir-lang/noir#5947) ([075036e](AztecProtocol/aztec-packages@075036e)) * Add `Expr::as_assert_eq` (noir-lang/noir#5880) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * Add `fmtstr::contents` (noir-lang/noir#5928) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Add `FunctionDef::set_return_visibility` (noir-lang/noir#5941) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Add `FunctionDefinition::add_attribute` (noir-lang/noir#5944) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Add `FunctionDefinition::module` and `StructDefinition::module` (noir-lang/noir#5956) ([075036e](AztecProtocol/aztec-packages@075036e)) * Add `FunctionDefinition` methods `is_unconstrained` and `set_unconstrained` (noir-lang/noir#5962) ([075036e](AztecProtocol/aztec-packages@075036e)) * Add `Quoted::tokens` (noir-lang/noir#5942) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Add `std::meta::typ::fresh_type_variable` (noir-lang/noir#5948) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Add `StructDefinition::add_attribute` and `has_named_attribute` (noir-lang/noir#5945) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Add `StructDefinition::add_generic` (noir-lang/noir#5961) ([075036e](AztecProtocol/aztec-packages@075036e)) * Add `StructDefinition::name` (noir-lang/noir#5960) ([075036e](AztecProtocol/aztec-packages@075036e)) * Add `StructDefinition::set_fields` (noir-lang/noir#5931) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Add bot config to toggle simulation ([#8297](AztecProtocol/aztec-packages#8297)) ([1c7c447](AztecProtocol/aztec-packages@1c7c447)) * Add poseidon relations to UltraKeccak flavor and Solidity verifier ([#8243](AztecProtocol/aztec-packages#8243)) ([f7e4bfb](AztecProtocol/aztec-packages@f7e4bfb)) * Addressing Nico's router comments ([#8384](AztecProtocol/aztec-packages#8384)) ([d582c93](AztecProtocol/aztec-packages@d582c93)) * Allow inserting new structs and into programs from attributes (noir-lang/noir#5927) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Arithmetic Generics (noir-lang/noir#5950) ([075036e](AztecProtocol/aztec-packages@075036e)) * **avm/brillig:** Take addresses in calldatacopy ([#8388](AztecProtocol/aztec-packages#8388)) ([eab944c](AztecProtocol/aztec-packages@eab944c)) * Better println for Quoted (noir-lang/noir#5896) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Calculate `FunctionSelector`s and `EventSelector`s during comptime ([#8354](AztecProtocol/aztec-packages#8354)) ([52258b1](AztecProtocol/aztec-packages@52258b1)) * Check argument count and types on attribute function callback (noir-lang/noir#5921) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * **ci:** Tracy gate counter preset ([#8382](AztecProtocol/aztec-packages#8382)) ([882af1e](AztecProtocol/aztec-packages@882af1e)) * Do not encode assertion strings in the programs ([#8315](AztecProtocol/aztec-packages#8315)) ([f5bbb89](AztecProtocol/aztec-packages@f5bbb89)) * Implement `str_as_bytes` in the `comptime` interpreter (noir-lang/noir#5887) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * Liveness analysis for constants ([#8294](AztecProtocol/aztec-packages#8294)) ([0330ced](AztecProtocol/aztec-packages@0330ced)) * LSP autocompletion for attributes (noir-lang/noir#5963) ([075036e](AztecProtocol/aztec-packages@075036e)) * LSP code action "Fill struct fields" (noir-lang/noir#5885) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * LSP code actions to import or qualify unresolved paths (noir-lang/noir#5876) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * LSP diagnostics for all package files (noir-lang/noir#5895) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * LSP diagnostics now have "unnecessary" and "deprecated" tags (noir-lang/noir#5878) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * LSP now suggests self fields and methods (noir-lang/noir#5955) ([075036e](AztecProtocol/aztec-packages@075036e)) * LSP will now suggest private items if they are visible (noir-lang/noir#5923) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Module attributes (noir-lang/noir#5888) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Only check array bounds in brillig if index is unsafe (noir-lang/noir#5938) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * **perf:** Remove known store values that equal the store address in mem2reg (noir-lang/noir#5935) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * **perf:** Remove last store in return block if last load is before that store (noir-lang/noir#5910) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Remove blocks which consist of only a jump to another block (noir-lang/noir#5889) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Replace arithmetic equalities with assert equal ([#8386](AztecProtocol/aztec-packages#8386)) ([0d8e835](AztecProtocol/aztec-packages@0d8e835)) * Return arrays instead of slices from `to_be_radix` functions (noir-lang/noir#5851) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * Router contract ([#8352](AztecProtocol/aztec-packages#8352)) ([138dc52](AztecProtocol/aztec-packages@138dc52)) * Sequencer selection in k8s tests ([#8313](AztecProtocol/aztec-packages#8313)) ([8d9947d](AztecProtocol/aztec-packages@8d9947d)) * Sync from aztec-packages (noir-lang/noir#5877) ([27e4761](AztecProtocol/aztec-packages@27e4761)) * Sync from aztec-packages (noir-lang/noir#5883) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * Sync from aztec-packages (noir-lang/noir#5917) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Sync from aztec-packages (noir-lang/noir#5951) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Track proving times in prover stats in CLI ([#8281](AztecProtocol/aztec-packages#8281)) ([efad298](AztecProtocol/aztec-packages@efad298)) * Tuple return value typescript decoding ([#8319](AztecProtocol/aztec-packages#8319)) ([b09a1bb](AztecProtocol/aztec-packages@b09a1bb)) * Ultra keccak honk verifier ([#8261](AztecProtocol/aztec-packages#8261)) ([7f02900](AztecProtocol/aztec-packages@7f02900)) * Unquote some value as tokens, not as unquote markers (noir-lang/noir#5924) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Update AztecIvc interface to facilitate acir-ivc ([#8230](AztecProtocol/aztec-packages#8230)) ([665750a](AztecProtocol/aztec-packages@665750a)) * Use visibility (noir-lang/noir#5856) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * Verify public validation requests ([#8150](AztecProtocol/aztec-packages#8150)) ([2be1415](AztecProtocol/aztec-packages@2be1415)) * Warn on unused functions (noir-lang/noir#5892) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) ### Bug Fixes * Address issues when using wall-time ([#8329](AztecProtocol/aztec-packages#8329)) ([639fb3b](AztecProtocol/aztec-packages@639fb3b)) * Always place module attribute generated items inside module (noir-lang/noir#5943) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Bot config for skip public simulation ([#8320](AztecProtocol/aztec-packages#8320)) ([133b642](AztecProtocol/aztec-packages@133b642)) * Broken build ([#8395](AztecProtocol/aztec-packages#8395)) ([d0ea6eb](AztecProtocol/aztec-packages@d0ea6eb)) * Collect functions generated by attributes (noir-lang/noir#5930) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Do not reuse anvil admin key ([#8304](AztecProtocol/aztec-packages#8304)) ([6863fe5](AztecProtocol/aztec-packages@6863fe5)) * **frontend:** Ban type vars bound to a reference from passing the unconstrained boundary (noir-lang/noir#5949) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * HonkRecursion serde for cpp bindings ([#8387](AztecProtocol/aztec-packages#8387)) ([6162179](AztecProtocol/aztec-packages@6162179)) * Increase timeout for Sepolia mining ([#8430](AztecProtocol/aztec-packages#8430)) ([29369ed](AztecProtocol/aztec-packages@29369ed)) * Let `derive(Eq)` work for empty structs (noir-lang/noir#5965) ([075036e](AztecProtocol/aztec-packages@075036e)) * **mem2reg:** Handle aliases better when setting a known value for a load (noir-lang/noir#5959) ([075036e](AztecProtocol/aztec-packages@075036e)) * **mem2reg:** Handle aliases in function last store cleanup and additional alias unit test (noir-lang/noir#5967) ([075036e](AztecProtocol/aztec-packages@075036e)) * Prevent comptime println from crashing LSP (noir-lang/noir#5918) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Revert "feat: ultra keccak honk verifier ([#8427](AztecProtocol/aztec-packages#8427)) ([31df5ea](AztecProtocol/aztec-packages@31df5ea)) * Revert "feat: ultra keccak honk verifier" ([#8391](AztecProtocol/aztec-packages#8391)) ([3228e75](AztecProtocol/aztec-packages@3228e75)) * Split stores per component and split merkle tree operations ([#8299](AztecProtocol/aztec-packages#8299)) ([4ee69ac](AztecProtocol/aztec-packages@4ee69ac)) * SubscriptionNote preimage attack ([#8390](AztecProtocol/aztec-packages#8390)) ([94006a9](AztecProtocol/aztec-packages@94006a9)) * Support debug comptime flag for attributes (noir-lang/noir#5929) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Temporary register leaks in brillig gen ([#8350](AztecProtocol/aztec-packages#8350)) ([5f6d2e2](AztecProtocol/aztec-packages@5f6d2e2)) * Transpiler after noir sync ([#8353](AztecProtocol/aztec-packages#8353)) ([249e50e](AztecProtocol/aztec-packages@249e50e)) * TXE logs in docker ([#8365](AztecProtocol/aztec-packages#8365)) ([157dd11](AztecProtocol/aztec-packages@157dd11)) * Use element_size() instead of computing it with division (noir-lang/noir#5939) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Wait for receipt ([#8358](AztecProtocol/aztec-packages#8358)) ([8b7b2d2](AztecProtocol/aztec-packages@8b7b2d2)) ### Miscellaneous * Add a span to track timing of brillig gen (noir-lang/noir#5835) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) * Add pass to normalize Ids in SSA (noir-lang/noir#5909) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Add uint (U128) note to aztec-nr and remove OwnedNote from ValueNote ([#8142](AztecProtocol/aztec-packages#8142)) ([225b6d3](AztecProtocol/aztec-packages@225b6d3)) * **avm:** Move proving key to avm files ([#8318](AztecProtocol/aztec-packages#8318)) ([32d67bd](AztecProtocol/aztec-packages@32d67bd)) * **avm:** Remove some unused deps ([#8366](AztecProtocol/aztec-packages#8366)) ([e2150a7](AztecProtocol/aztec-packages@e2150a7)) * **bb:** Reinstate "chore: uncomment asserts in oink rec verifier"" ([#8356](AztecProtocol/aztec-packages#8356)) ([4dbad01](AztecProtocol/aztec-packages@4dbad01)) * **bb:** Use std::span for srs ([#8371](AztecProtocol/aztec-packages#8371)) ([f174699](AztecProtocol/aztec-packages@f174699)) * Bump some dependencies (noir-lang/noir#5893) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Change efs volumes to use bursting throughput ([#8370](AztecProtocol/aztec-packages#8370)) ([d6ebe3e](AztecProtocol/aztec-packages@d6ebe3e)) * **ci:** Don't run on draft PRs ([#8426](AztecProtocol/aztec-packages#8426)) ([8abe6c8](AztecProtocol/aztec-packages@8abe6c8)) * **ci:** Skip vk generation on `protocol-circuits-gates-report` and `noir-format` ([#8398](AztecProtocol/aztec-packages#8398)) ([824aa8a](AztecProtocol/aztec-packages@824aa8a)) * **ci:** Test lowering of non-persistent ebs provisions ([#8360](AztecProtocol/aztec-packages#8360)) ([8ee8595](AztecProtocol/aztec-packages@8ee8595)) * Cleanup str_as_bytes (noir-lang/noir#5900) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Delete more unwanted stuff from noir code ([#8335](AztecProtocol/aztec-packages#8335)) ([d2a8aa4](AztecProtocol/aztec-packages@d2a8aa4)) * **docs:** Cli wallet ([#8182](AztecProtocol/aztec-packages#8182)) ([7298c8f](AztecProtocol/aztec-packages@7298c8f)) * **docs:** Fix migration notes ([#8447](AztecProtocol/aztec-packages#8447)) ([1e91469](AztecProtocol/aztec-packages@1e91469)) * Error on false constraint (noir-lang/noir#5890) ([05cc59f](AztecProtocol/aztec-packages@05cc59f)) * Fix some instances of missing unsafe blocks ([#8232](AztecProtocol/aztec-packages#8232)) ([e8e0907](AztecProtocol/aztec-packages@e8e0907)) * Fix spartan test nightly runner ([#8433](AztecProtocol/aztec-packages#8433)) ([a34f353](AztecProtocol/aztec-packages@a34f353)) * Improve ec addition ([#8291](AztecProtocol/aztec-packages#8291)) ([e8a097c](AztecProtocol/aztec-packages@e8a097c)) * Increase AZTEC_SLOT_DURATION ([#8331](AztecProtocol/aztec-packages#8331)) ([5d48500](AztecProtocol/aztec-packages@5d48500)) * Make nested slice error more clear for `[[T]; N]` case (noir-lang/noir#5906) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Merge provernet to master ([#8373](AztecProtocol/aztec-packages#8373)) ([e1dc987](AztecProtocol/aztec-packages@e1dc987)) * More efficient verification with shplonk and gemini ([#8351](AztecProtocol/aztec-packages#8351)) ([e51d157](AztecProtocol/aztec-packages@e51d157)) * Move spartan network tests to nightly ([#8369](AztecProtocol/aztec-packages#8369)) ([8fe045c](AztecProtocol/aztec-packages@8fe045c)) * No assert in `is_valid_impl(...)` ([#8397](AztecProtocol/aztec-packages#8397)) ([1c1d35a](AztecProtocol/aztec-packages@1c1d35a)) * Pw/devnet fixes ([#8385](AztecProtocol/aztec-packages#8385)) ([4fb4e17](AztecProtocol/aztec-packages@4fb4e17)) * Redo typo PR by FilipHarald ([#8418](AztecProtocol/aztec-packages#8418)) ([2894b68](AztecProtocol/aztec-packages@2894b68)) * Redo typo PR by operagxsasha ([#8429](AztecProtocol/aztec-packages#8429)) ([a1060a3](AztecProtocol/aztec-packages@a1060a3)) * Remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](AztecProtocol/aztec-packages#8408)) ([dd09b76](AztecProtocol/aztec-packages@dd09b76)) * Remove equality operation on boolean constraints against constants (noir-lang/noir#5919) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Remove override to use rust syntax highlighting (noir-lang/noir#5881) ([f3e4f97](AztecProtocol/aztec-packages@f3e4f97)) * Remove unimplemented headermember opcode from avm ([#8407](AztecProtocol/aztec-packages#8407)) ([cfea06e](AztecProtocol/aztec-packages@cfea06e)) * Renaming `Instance`'s ([#8362](AztecProtocol/aztec-packages#8362)) ([4789440](AztecProtocol/aztec-packages@4789440)) * Replace relative paths to noir-protocol-circuits ([3c9d85e](AztecProtocol/aztec-packages@3c9d85e)) * Replace relative paths to noir-protocol-circuits ([69b1754](AztecProtocol/aztec-packages@69b1754)) * Replace relative paths to noir-protocol-circuits ([feff126](AztecProtocol/aztec-packages@feff126)) * Replace relative paths to noir-protocol-circuits ([3d58d36](AztecProtocol/aztec-packages@3d58d36)) * Replace relative paths to noir-protocol-circuits ([7c15ac4](AztecProtocol/aztec-packages@7c15ac4)) * **revert:** "chore(ci): Test lowering of non-persistent ebs provisions" ([#8392](AztecProtocol/aztec-packages#8392)) ([2ea6ec2](AztecProtocol/aztec-packages@2ea6ec2)) * Send anvil logs to stdout ([#8311](AztecProtocol/aztec-packages#8311)) ([6a2614a](AztecProtocol/aztec-packages@6a2614a)) * Uncomment asserts in oink rec verifier ([#8316](AztecProtocol/aztec-packages#8316)) ([a7f3144](AztecProtocol/aztec-packages@a7f3144)) * Update git user for release PRs (noir-lang/noir#5894) ([176bce6](AztecProtocol/aztec-packages@176bce6)) * Use `new_let` more widely (noir-lang/noir#5882) ([f8f4709](AztecProtocol/aztec-packages@f8f4709)) </details> <details><summary>barretenberg: 0.53.0</summary> ## [0.53.0](AztecProtocol/aztec-packages@barretenberg-v0.52.0...barretenberg-v0.53.0) (2024-09-09) ### ⚠ BREAKING CHANGES * **avm/brillig:** take addresses in calldatacopy ([#8388](AztecProtocol/aztec-packages#8388)) * remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](AztecProtocol/aztec-packages#8408)) ### Features * Add poseidon relations to UltraKeccak flavor and Solidity verifier ([#8243](AztecProtocol/aztec-packages#8243)) ([f7e4bfb](AztecProtocol/aztec-packages@f7e4bfb)) * **avm/brillig:** Take addresses in calldatacopy ([#8388](AztecProtocol/aztec-packages#8388)) ([eab944c](AztecProtocol/aztec-packages@eab944c)) * **ci:** Tracy gate counter preset ([#8382](AztecProtocol/aztec-packages#8382)) ([882af1e](AztecProtocol/aztec-packages@882af1e)) * Replace arithmetic equalities with assert equal ([#8386](AztecProtocol/aztec-packages#8386)) ([0d8e835](AztecProtocol/aztec-packages@0d8e835)) * Ultra keccak honk verifier ([#8261](AztecProtocol/aztec-packages#8261)) ([7f02900](AztecProtocol/aztec-packages@7f02900)) * Update AztecIvc interface to facilitate acir-ivc ([#8230](AztecProtocol/aztec-packages#8230)) ([665750a](AztecProtocol/aztec-packages@665750a)) * Verify public validation requests ([#8150](AztecProtocol/aztec-packages#8150)) ([2be1415](AztecProtocol/aztec-packages@2be1415)) ### Bug Fixes * Broken build ([#8395](AztecProtocol/aztec-packages#8395)) ([d0ea6eb](AztecProtocol/aztec-packages@d0ea6eb)) * Revert "feat: ultra keccak honk verifier ([#8427](AztecProtocol/aztec-packages#8427)) ([31df5ea](AztecProtocol/aztec-packages@31df5ea)) * Revert "feat: ultra keccak honk verifier" ([#8391](AztecProtocol/aztec-packages#8391)) ([3228e75](AztecProtocol/aztec-packages@3228e75)) ### Miscellaneous * **avm:** Move proving key to avm files ([#8318](AztecProtocol/aztec-packages#8318)) ([32d67bd](AztecProtocol/aztec-packages@32d67bd)) * **avm:** Remove some unused deps ([#8366](AztecProtocol/aztec-packages#8366)) ([e2150a7](AztecProtocol/aztec-packages@e2150a7)) * **bb:** Reinstate "chore: uncomment asserts in oink rec verifier"" ([#8356](AztecProtocol/aztec-packages#8356)) ([4dbad01](AztecProtocol/aztec-packages@4dbad01)) * **bb:** Use std::span for srs ([#8371](AztecProtocol/aztec-packages#8371)) ([f174699](AztecProtocol/aztec-packages@f174699)) * Improve ec addition ([#8291](AztecProtocol/aztec-packages#8291)) ([e8a097c](AztecProtocol/aztec-packages@e8a097c)) * More efficient verification with shplonk and gemini ([#8351](AztecProtocol/aztec-packages#8351)) ([e51d157](AztecProtocol/aztec-packages@e51d157)) * Remove coinbase and unimplemented block gas limit opcodes from AVM ([#8408](AztecProtocol/aztec-packages#8408)) ([dd09b76](AztecProtocol/aztec-packages@dd09b76)) * Remove unimplemented headermember opcode from avm ([#8407](AztecProtocol/aztec-packages#8407)) ([cfea06e](AztecProtocol/aztec-packages@cfea06e)) * Renaming `Instance`'s ([#8362](AztecProtocol/aztec-packages#8362)) ([4789440](AztecProtocol/aztec-packages@4789440)) * Uncomment asserts in oink rec verifier ([#8316](AztecProtocol/aztec-packages#8316)) ([a7f3144](AztecProtocol/aztec-packages@a7f3144)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

Automated pull of Noir development from [aztec-packages](https://github.com/AztecProtocol/aztec-packages). BEGIN_COMMIT_OVERRIDE feat: Sync from noir (AztecProtocol/aztec-packages#8466) feat: (bb) 128-bit challenges (AztecProtocol/aztec-packages#8406) feat(avm)!: variants for SET opcode (AztecProtocol/aztec-packages#8441) feat(avm/brillig)!: take addresses in calldatacopy (AztecProtocol/aztec-packages#8388) feat: Sync from noir (AztecProtocol/aztec-packages#8435) feat: Sync from noir (AztecProtocol/aztec-packages#8423) END_COMMIT_OVERRIDE --------- Co-authored-by: TomAFrench <tom@tomfren.ch>

:robot: I have created a release *beep* *boop* --- <details><summary>0.34.0</summary> ## [0.34.0](https://github.com/noir-lang/noir/compare/v0.33.0...v0.34.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) * **avm:** variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) * **avm/brillig:** take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) * Do not encode assertion strings in the programs (https://github.com/AztecProtocol/aztec-packages/pull/8315) * return arrays instead of slices from `to_be_radix` functions ([#5851](https://github.com/noir-lang/noir/issues/5851)) * Check unused generics are bound ([#5840](https://github.com/noir-lang/noir/issues/5840)) ### Features * (bb) 128-bit challenges (https://github.com/AztecProtocol/aztec-packages/pull/8406) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * (LSP) suggest names that match any part of the current prefix ([#5752](https://github.com/noir-lang/noir/issues/5752)) ([cb0d490](https://github.com/noir-lang/noir/commit/cb0d49017a3b592afc2002e592a61d33bf3ac3a4)) * `Module::add_item` ([#5947](https://github.com/noir-lang/noir/issues/5947)) ([af50a7b](https://github.com/noir-lang/noir/commit/af50a7b3ad511de68c584e65ec4eec8b703bbc14)) * Add `Expr::as_any_integer` and `Expr::as_member_access` ([#5742](https://github.com/noir-lang/noir/issues/5742)) ([6266755](https://github.com/noir-lang/noir/commit/626675567bb0bfff3c7984ed7f75c488e441ef98)) * Add `Expr::as_array`, `Expr::as_repeated_element_array` and same for slice ([#5750](https://github.com/noir-lang/noir/issues/5750)) ([f44e0b3](https://github.com/noir-lang/noir/commit/f44e0b3ebfb30e9323ebf2d537830ea64d59488c)) * Add `Expr::as_assert_eq` ([#5880](https://github.com/noir-lang/noir/issues/5880)) ([88f7858](https://github.com/noir-lang/noir/commit/88f785803ddb1a7d395a899b65e500e46bba1a5d)) * Add `Expr::as_assert` ([#5857](https://github.com/noir-lang/noir/issues/5857)) ([4e4ad26](https://github.com/noir-lang/noir/commit/4e4ad26d56e6a487ca446ea4e1732c6af04e1410)) * Add `Expr::as_binary_op` ([#5734](https://github.com/noir-lang/noir/issues/5734)) ([73a9f51](https://github.com/noir-lang/noir/commit/73a9f51e1fd1ba513ef721e07990abf510e8bf01)) * Add `Expr::as_block` and `Expr::has_semicolon` ([#5784](https://github.com/noir-lang/noir/issues/5784)) ([19ffa20](https://github.com/noir-lang/noir/commit/19ffa2008fc9cbb5972b50d66d14908d5c82ed75)) * Add `Expr::as_bool` ([#5729](https://github.com/noir-lang/noir/issues/5729)) ([ca75cc2](https://github.com/noir-lang/noir/commit/ca75cc2e35530c82cef3b86edf99a232f88b11e8)) * Add `Expr::as_cast` and `UnresolvedType::is_field` ([#5801](https://github.com/noir-lang/noir/issues/5801)) ([c9aa50d](https://github.com/noir-lang/noir/commit/c9aa50dd25887a7e8b903515a0fd290335d1e572)) * Add `Expr::as_let` ([#5964](https://github.com/noir-lang/noir/issues/5964)) ([65da598](https://github.com/noir-lang/noir/commit/65da5983ece16249fa939a493f197d13fbb1f9a4)) * Add `Expr::as_unary` ([#5731](https://github.com/noir-lang/noir/issues/5731)) ([ae33811](https://github.com/noir-lang/noir/commit/ae33811f7ca770b54880d0095c1d5be0ee85c6e4)) * Add `Expr::resolve` and `TypedExpr::as_function_definition` ([#5859](https://github.com/noir-lang/noir/issues/5859)) ([bceee55](https://github.com/noir-lang/noir/commit/bceee55cc3833978d120e194820cfae9132c8006)) * Add `Expr` methods: `as_tuple`, `as_parenthesized`, `as_index`, `as_if` ([#5726](https://github.com/noir-lang/noir/issues/5726)) ([f57a7b2](https://github.com/noir-lang/noir/commit/f57a7b2bd4457cbbfd650c7467d1f96d65ea6c8b)) * Add `Expr` methods: as_comptime, as_unsafe, is_break, is_continue ([#5799](https://github.com/noir-lang/noir/issues/5799)) ([619fa5c](https://github.com/noir-lang/noir/commit/619fa5c0ad115ac910abfc9995a4362271847d59)) * Add `fmtstr::contents` ([#5928](https://github.com/noir-lang/noir/issues/5928)) ([f18e9ca](https://github.com/noir-lang/noir/commit/f18e9ca86c025f736af6e515f812e36fbb622930)) * Add `FunctionDef::body` ([#5825](https://github.com/noir-lang/noir/issues/5825)) ([39b30ba](https://github.com/noir-lang/noir/commit/39b30ba2e9f13d8d99bfb1833e14e294f80773e5)) * Add `FunctionDef::has_named_attribute` ([#5870](https://github.com/noir-lang/noir/issues/5870)) ([a950195](https://github.com/noir-lang/noir/commit/a950195baa9e6ed3880ad1d2f619e442b4c49473)) * Add `FunctionDef::set_return_visibility` ([#5941](https://github.com/noir-lang/noir/issues/5941)) ([8beda6b](https://github.com/noir-lang/noir/commit/8beda6beb10a2e42da788bcc9bf2b375055675c6)) * Add `FunctionDefinition::add_attribute` ([#5944](https://github.com/noir-lang/noir/issues/5944)) ([c7479c4](https://github.com/noir-lang/noir/commit/c7479c4e55f47f7c652f0e202636b9e590d11f5d)) * Add `FunctionDefinition::module` and `StructDefinition::module` ([#5956](https://github.com/noir-lang/noir/issues/5956)) ([f19344c](https://github.com/noir-lang/noir/commit/f19344ca1a6d9ae78cd433864f71705f3381320f)) * Add `FunctionDefinition` methods `is_unconstrained` and `set_unconstrained` ([#5962](https://github.com/noir-lang/noir/issues/5962)) ([b9a072d](https://github.com/noir-lang/noir/commit/b9a072d29c0f4abc4c6c683b9b2a872728d971fa)) * Add `Module::structs` ([#6017](https://github.com/noir-lang/noir/issues/6017)) ([fc5bb02](https://github.com/noir-lang/noir/commit/fc5bb025d7df901050af1d8ad6ebb9283faf641f)) * Add `Quoted::as_expr` and `Expr::as_function_call` ([#5708](https://github.com/noir-lang/noir/issues/5708)) ([3f79607](https://github.com/noir-lang/noir/commit/3f79607002a75880b6e21aadd15dd7e55f15dbfa)) * Add `Quoted::tokens` ([#5942](https://github.com/noir-lang/noir/issues/5942)) ([a297ec6](https://github.com/noir-lang/noir/commit/a297ec643eb3b6c0e8bcf62abdc005414283c7c2)) * Add `std::meta::typ::fresh_type_variable` ([#5948](https://github.com/noir-lang/noir/issues/5948)) ([3dab4dd](https://github.com/noir-lang/noir/commit/3dab4dd771b7d8b9242ce3a9aeff5770f4d85cf6)) * Add `StructDefinition::add_attribute` and `has_named_attribute` ([#5945](https://github.com/noir-lang/noir/issues/5945)) ([344dd5e](https://github.com/noir-lang/noir/commit/344dd5ea7ed551dcc3fd414d1c5f49f44721c28c)) * Add `StructDefinition::add_generic` ([#5961](https://github.com/noir-lang/noir/issues/5961)) ([6004067](https://github.com/noir-lang/noir/commit/6004067e42572c34dd6465e66d36410826e2fd90)) * Add `StructDefinition::name` ([#5960](https://github.com/noir-lang/noir/issues/5960)) ([102ebe3](https://github.com/noir-lang/noir/commit/102ebe33694d65e1024fcba8260ada6f30c49578)) * Add `StructDefinition::set_fields` ([#5931](https://github.com/noir-lang/noir/issues/5931)) ([9d2629d](https://github.com/noir-lang/noir/commit/9d2629dd1bb28a8c2ecb4c33d26119da75d626c2)) * Add `TraitImpl::trait_generic_args` and `TraitImpl::methods` ([#5722](https://github.com/noir-lang/noir/issues/5722)) ([8c7e493](https://github.com/noir-lang/noir/commit/8c7e4937b24e6d782543dd42ac9fc293af550f7c)) * Add `Type::as_string` ([#5871](https://github.com/noir-lang/noir/issues/5871)) ([e29d4b3](https://github.com/noir-lang/noir/commit/e29d4b3646f0527fc01bc4584ee33616db922c72)) * Add `Type::get_trait_impl` ([#5716](https://github.com/noir-lang/noir/issues/5716)) ([eb33d1c](https://github.com/noir-lang/noir/commit/eb33d1cae626244a220e6ceea176be6f5fb1073d)) * Add `Type::implements` ([#5701](https://github.com/noir-lang/noir/issues/5701)) ([2166c94](https://github.com/noir-lang/noir/commit/2166c9441c739ab6a3ee029ed051f1857bd27170)) * Add `TypedExpr::get_type` ([#5992](https://github.com/noir-lang/noir/issues/5992)) ([31f50c4](https://github.com/noir-lang/noir/commit/31f50c442b59eac4de2c5c530278e345bd2f149f)) * Add `UnresolvedType::is_field` and `Expr::as_assign` ([#5804](https://github.com/noir-lang/noir/issues/5804)) ([c45df4e](https://github.com/noir-lang/noir/commit/c45df4e83ab1ff5f6c35c4115aebf317110ee419)) * Add `unsafe` blocks for calling unconstrained code from constrained functions ([#4429](https://github.com/noir-lang/noir/issues/4429)) ([79593b4](https://github.com/noir-lang/noir/commit/79593b4235efc031ed9b95c0b301cef66b4ab88c)) * Add a `panic` method to the stdlib ([#5966](https://github.com/noir-lang/noir/issues/5966)) ([b86c2bc](https://github.com/noir-lang/noir/commit/b86c2bc0ec2712e9c24309a6f5e92afc3ef0a2dc)) * Add array_to_str_lossy ([#5613](https://github.com/noir-lang/noir/issues/5613)) ([af5acf4](https://github.com/noir-lang/noir/commit/af5acf4eb4af38fd346b6365a45d8e7e83899542)) * Add assertions for ACVM `FunctionInput` `bit_size` ([#5864](https://github.com/noir-lang/noir/issues/5864)) ([8712f4c](https://github.com/noir-lang/noir/commit/8712f4c20d23f3809bcfb03f2e3ba0e5ace20a1d)) * Add Expr::as_method_call ([#5822](https://github.com/noir-lang/noir/issues/5822)) ([806af24](https://github.com/noir-lang/noir/commit/806af24e44b3abcc50e552fff0883f2497ba152f)) * Add mutating FunctionDefinition functions ([#5685](https://github.com/noir-lang/noir/issues/5685)) ([2882eae](https://github.com/noir-lang/noir/commit/2882eaeb176988bb3d216d091c0e239f5b80f276)) * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Add recursive aggregation object to proving/verification keys (https://github.com/AztecProtocol/aztec-packages/pull/6770) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Add reusable procedures to brillig generation (https://github.com/AztecProtocol/aztec-packages/pull/7981) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Add some `Module` comptime functions ([#5684](https://github.com/noir-lang/noir/issues/5684)) ([eefd69b](https://github.com/noir-lang/noir/commit/eefd69b1d72a9f5cb2e7bbd3e554925a7670a2f3)) * Added indirect const instruction (https://github.com/AztecProtocol/aztec-packages/pull/8065) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Adding aggregation to honk and rollup (https://github.com/AztecProtocol/aztec-packages/pull/7466) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Allow inserting new structs and into programs from attributes ([#5927](https://github.com/noir-lang/noir/issues/5927)) ([94e661e](https://github.com/noir-lang/noir/commit/94e661e7520d80496bdc9da39b9736bafacb96dc)) * Arithmetic Generics ([#5950](https://github.com/noir-lang/noir/issues/5950)) ([00a79ce](https://github.com/noir-lang/noir/commit/00a79ce6374bb09616ffb6f431cb6c011d786877)) * Automate verify_honk_proof input generation (https://github.com/AztecProtocol/aztec-packages/pull/8092) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **avm/brillig:** Take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * **avm:** Variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Better error message for misplaced doc comments ([#5990](https://github.com/noir-lang/noir/issues/5990)) ([28415ef](https://github.com/noir-lang/noir/commit/28415efd2fd8c7b836516b154ab54d65f15fbc23)) * Better println for Quoted ([#5896](https://github.com/noir-lang/noir/issues/5896)) ([6f30e42](https://github.com/noir-lang/noir/commit/6f30e42f8a895c7813e770d6ee9ffbc9977c335b)) * Calculate `FunctionSelector`s and `EventSelector`s during comptime (https://github.com/AztecProtocol/aztec-packages/pull/8354) ([33bd102](https://github.com/noir-lang/noir/commit/33bd102d6021912b56fe880efab65346c3ea9228)) * Change the layout of arrays and vectors to be a single pointer (https://github.com/AztecProtocol/aztec-packages/pull/8448) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Check argument count and types on attribute function callback ([#5921](https://github.com/noir-lang/noir/issues/5921)) ([91f693d](https://github.com/noir-lang/noir/commit/91f693d81edb1913bf56d2c1038441cec5844646)) * Do not encode assertion strings in the programs (https://github.com/AztecProtocol/aztec-packages/pull/8315) ([4144152](https://github.com/noir-lang/noir/commit/41441527700d7c0fe59769803048a3b285badd77)) * Explicit Associated Types & Constants ([#5739](https://github.com/noir-lang/noir/issues/5739)) ([e050e93](https://github.com/noir-lang/noir/commit/e050e93a963b407dabedf7c236f59c387f787514)) * Extract brillig slice ops to reusable procedures ([#6002](https://github.com/noir-lang/noir/issues/6002)) ([339c17b](https://github.com/noir-lang/noir/commit/339c17bb5253f0d290fa56644a49b2881c9de889)) * Fault-tolerant parsing of `fn` and `impl` ([#5753](https://github.com/noir-lang/noir/issues/5753)) ([d4e2f0a](https://github.com/noir-lang/noir/commit/d4e2f0a30b07a98772fbc321a760641466cc01d1)) * Format trait impl functions ([#6016](https://github.com/noir-lang/noir/issues/6016)) ([da32bd8](https://github.com/noir-lang/noir/commit/da32bd82d749a9c388e970883cc1ea756ce2db6b)) * Hook up secondary calldata column in dsl (https://github.com/AztecProtocol/aztec-packages/pull/7759) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Impl Hash and Eq on more comptime types ([#6022](https://github.com/noir-lang/noir/issues/6022)) ([114903d](https://github.com/noir-lang/noir/commit/114903d6fbcb035b46478db36d696efa99e919d6)) * Implement `str_as_bytes` in the `comptime` interpreter ([#5887](https://github.com/noir-lang/noir/issues/5887)) ([45344bf](https://github.com/noir-lang/noir/commit/45344bfe1148a2f592c2e432744d3fb3d46340cc)) * Implement LSP code action "Implement missing members" ([#6020](https://github.com/noir-lang/noir/issues/6020)) ([9bf2dcb](https://github.com/noir-lang/noir/commit/9bf2dcbf166f9ffd97c369c0de3d95329c850d47)) * Improve "type annotations needed" errors ([#5830](https://github.com/noir-lang/noir/issues/5830)) ([90f9ea0](https://github.com/noir-lang/noir/commit/90f9ea0df7055aa5881a77981c8be7862478c848)) * Let `has_named_attribute` work for built-in attributes ([#6024](https://github.com/noir-lang/noir/issues/6024)) ([a09646b](https://github.com/noir-lang/noir/commit/a09646bde7ae27c1aa423ef56757d2fb8753658a)) * Let `nargo` and LSP work well in the stdlib ([#5969](https://github.com/noir-lang/noir/issues/5969)) ([8e8e97c](https://github.com/noir-lang/noir/commit/8e8e97c68e48245a6c7de9b3a0fe9960a889c47a)) * Liveness analysis for constants (https://github.com/AztecProtocol/aztec-packages/pull/8294) ([71e1556](https://github.com/noir-lang/noir/commit/71e1556717695e1ef80c53d273f7acbdf0d5b4e7)) * LSP auto-import completion ([#5741](https://github.com/noir-lang/noir/issues/5741)) ([cdbb940](https://github.com/noir-lang/noir/commit/cdbb940a883ae32dd84c667ec06b0d155f2d7520)) * LSP autocomplete constructor fields ([#5732](https://github.com/noir-lang/noir/issues/5732)) ([e71c75a](https://github.com/noir-lang/noir/commit/e71c75a0862dda26e5b08318bcec71d5b41ba9e9)) * LSP autocompletion for attributes ([#5963](https://github.com/noir-lang/noir/issues/5963)) ([b7b9e3f](https://github.com/noir-lang/noir/commit/b7b9e3f2212db2b9c3412ddcfd1c40c6200a1740)) * LSP autocompletion for use statement ([#5704](https://github.com/noir-lang/noir/issues/5704)) ([226aeb1](https://github.com/noir-lang/noir/commit/226aeb1400adc6d9028e9ad9f496783606fd9e11)) * LSP code action "Fill struct fields" ([#5885](https://github.com/noir-lang/noir/issues/5885)) ([1e6e4f4](https://github.com/noir-lang/noir/commit/1e6e4f4f53c7d331c054dd84f3fe6064d2e844e3)) * LSP code actions to import or qualify unresolved paths ([#5876](https://github.com/noir-lang/noir/issues/5876)) ([410c1f6](https://github.com/noir-lang/noir/commit/410c1f67ee93634bcfb22b236035d97eee33b0cf)) * LSP completion function detail ([#5993](https://github.com/noir-lang/noir/issues/5993)) ([e84f7d2](https://github.com/noir-lang/noir/commit/e84f7d2e81c1f59e9af015f38c2d477607a9c558)) * LSP completion now works better in the middle of idents ([#5795](https://github.com/noir-lang/noir/issues/5795)) ([1c84038](https://github.com/noir-lang/noir/commit/1c84038e4a1b2515f4f91aca4c833dd3b6c05d91)) * LSP diagnostics for all package files ([#5895](https://github.com/noir-lang/noir/issues/5895)) ([4e616b3](https://github.com/noir-lang/noir/commit/4e616b340d144a615795e37ab87ced1d175188b3)) * LSP diagnostics now have "unnecessary" and "deprecated" tags ([#5878](https://github.com/noir-lang/noir/issues/5878)) ([2f0d4e0](https://github.com/noir-lang/noir/commit/2f0d4e017b701b46b5c675e3b34af15ad6f28823)) * LSP fields, functions and methods completion after "." and "::" ([#5714](https://github.com/noir-lang/noir/issues/5714)) ([13c1fe6](https://github.com/noir-lang/noir/commit/13c1fe686c51b762df71a138b1af474d67da7560)) * LSP hover and go-to-definition for crates ([#5786](https://github.com/noir-lang/noir/issues/5786)) ([86d8840](https://github.com/noir-lang/noir/commit/86d884044ee5bac72af820d623e00e1375271845)) * LSP now suggests self fields and methods ([#5955](https://github.com/noir-lang/noir/issues/5955)) ([f57ce85](https://github.com/noir-lang/noir/commit/f57ce850fdb42a33177638f2f4af1335023c5e62)) * LSP path completion ([#5712](https://github.com/noir-lang/noir/issues/5712)) ([3c6b998](https://github.com/noir-lang/noir/commit/3c6b9982048e168fc86cb834b5e8e72b51d2498d)) * LSP signature help ([#5725](https://github.com/noir-lang/noir/issues/5725)) ([5a3d241](https://github.com/noir-lang/noir/commit/5a3d24192d440c5bfe3749d4bcd8ebbc9cf4902b)) * LSP signature help for assert and assert_eq ([#5862](https://github.com/noir-lang/noir/issues/5862)) ([663e00c](https://github.com/noir-lang/noir/commit/663e00cffcb2cd66ddc2b33c0453afca0e15f703)) * LSP will now suggest private items if they are visible ([#5923](https://github.com/noir-lang/noir/issues/5923)) ([d2caa5b](https://github.com/noir-lang/noir/commit/d2caa5bb86f944d6d09182482bef6e35ca2213d6)) * Make token transfer be recursive (https://github.com/AztecProtocol/aztec-packages/pull/7730) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * **meta:** Comptime keccak ([#5854](https://github.com/noir-lang/noir/issues/5854)) ([0e8becc](https://github.com/noir-lang/noir/commit/0e8becc7bccee2ae4e4e3ef373df08c3e9ef88c9)) * Module attributes ([#5888](https://github.com/noir-lang/noir/issues/5888)) ([2ca2e5c](https://github.com/noir-lang/noir/commit/2ca2e5cf207a2a1f41ca86d877f0288bcbbfd212)) * New test programs for wasm benchmarking (https://github.com/AztecProtocol/aztec-packages/pull/8389) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Note hashes as points (https://github.com/AztecProtocol/aztec-packages/pull/7618) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Only check array bounds in brillig if index is unsafe ([#5938](https://github.com/noir-lang/noir/issues/5938)) ([8b60bbc](https://github.com/noir-lang/noir/commit/8b60bbc8082513e29f6573e5235e0a33fdd1517b)) * **optimization:** Avoid merging identical (by ID) arrays ([#5853](https://github.com/noir-lang/noir/issues/5853)) ([062103e](https://github.com/noir-lang/noir/commit/062103ea039042e8e999b29dbb1fafc3cebd513c)) * **optimization:** Follow past `array_set`s when optimizing `array_get`s ([#5772](https://github.com/noir-lang/noir/issues/5772)) ([090501d](https://github.com/noir-lang/noir/commit/090501dfaf7c569b1aa944856bf68ad663572ae4)) * Optimize constant array handling in brillig_gen (https://github.com/AztecProtocol/aztec-packages/pull/7661) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Optimize to_radix (https://github.com/AztecProtocol/aztec-packages/pull/8073) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Pass calldata ids to the backend (https://github.com/AztecProtocol/aztec-packages/pull/7875) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * **perf:** Mem2reg function state for value loads to optimize across blocks ([#5757](https://github.com/noir-lang/noir/issues/5757)) ([0b297b3](https://github.com/noir-lang/noir/commit/0b297b3830ac26551bfb39fad01d74cd8ab341c3)) * **perf:** Remove known store values that equal the store address in mem2reg ([#5935](https://github.com/noir-lang/noir/issues/5935)) ([b84009c](https://github.com/noir-lang/noir/commit/b84009ca428a5790acf53a6c027146b706170574)) * **perf:** Remove last store in return block if last load is before that store ([#5910](https://github.com/noir-lang/noir/issues/5910)) ([1737b65](https://github.com/noir-lang/noir/commit/1737b656c861706c38b59bd5ef6cd095687a2898)) * **perf:** Simplify poseidon2 cache zero-pad ([#5869](https://github.com/noir-lang/noir/issues/5869)) ([31e9be6](https://github.com/noir-lang/noir/commit/31e9be6b83b448eb6834645dc124589dc724a7b2)) * Poseidon2 gates for Ultra arithmetisation (https://github.com/AztecProtocol/aztec-packages/pull/7494) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **profiler:** Add support for brillig functions in opcodes-flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7698) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Remove blocks which consist of only a jump to another block ([#5889](https://github.com/noir-lang/noir/issues/5889)) ([f391af2](https://github.com/noir-lang/noir/commit/f391af2d61f4a38e02cb92c76fa4c2c148af3833)) * Remove unnecessary copying of vector size during reversal ([#5852](https://github.com/noir-lang/noir/issues/5852)) ([5739904](https://github.com/noir-lang/noir/commit/5739904f8d9e6c00d9e140cd4926b4d149412476)) * Removing superfluous call to MSM (https://github.com/AztecProtocol/aztec-packages/pull/7708) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Report gates and VKs of private protocol circuits with megahonk (https://github.com/AztecProtocol/aztec-packages/pull/7722) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Return arrays instead of slices from `to_be_radix` functions ([#5851](https://github.com/noir-lang/noir/issues/5851)) ([d59c708](https://github.com/noir-lang/noir/commit/d59c7087495f8af0dfb387dc587ecc422888096b)) * Show backtrace on comptime assertion failures ([#5842](https://github.com/noir-lang/noir/issues/5842)) ([cfd68d4](https://github.com/noir-lang/noir/commit/cfd68d4c1bd1a2319698fca99d200a5d86ffa771)) * Show doc comments in LSP ([#5968](https://github.com/noir-lang/noir/issues/5968)) ([45f4ae0](https://github.com/noir-lang/noir/commit/45f4ae09ca5fa5516e13c34c2ae9379077461cc9)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` ([#5140](https://github.com/noir-lang/noir/issues/5140)) ([2823ba7](https://github.com/noir-lang/noir/commit/2823ba7242db788ca1d7f6e7a48be2f1de62f278)) * Small optimization in toradix (https://github.com/AztecProtocol/aztec-packages/pull/8040) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Suggest trait methods in LSP completion ([#5735](https://github.com/noir-lang/noir/issues/5735)) ([e2f7e95](https://github.com/noir-lang/noir/commit/e2f7e950c44883228d5e1230b04c83e479de7ed0)) * Suggest tuple fields in LSP completion ([#5730](https://github.com/noir-lang/noir/issues/5730)) ([64d7d78](https://github.com/noir-lang/noir/commit/64d7d786ad2ddf0942690912cf05ca3b438c43be)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7743) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7862) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7945) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7958) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8008) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8093) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8125) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8237) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8314) ([4144152](https://github.com/noir-lang/noir/commit/41441527700d7c0fe59769803048a3b285badd77)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8333) ([33bd102](https://github.com/noir-lang/noir/commit/33bd102d6021912b56fe880efab65346c3ea9228)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8423) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8435) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8466) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8482) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8512) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8526) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * TXE nr deployments, dependency cleanup for CLI (https://github.com/AztecProtocol/aztec-packages/pull/7548) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type (https://github.com/AztecProtocol/aztec-packages/pull/7993) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Unquote some value as tokens, not as unquote markers ([#5924](https://github.com/noir-lang/noir/issues/5924)) ([70ebb90](https://github.com/noir-lang/noir/commit/70ebb905da23a0541915a8f6883d6f530934be4e)) * Use visibility ([#5856](https://github.com/noir-lang/noir/issues/5856)) ([e349f30](https://github.com/noir-lang/noir/commit/e349f30b60a473e2068afafb6fae4a4ea50d185b)) * Use Zac's quicksort algorithm in stdlib sorting ([#5940](https://github.com/noir-lang/noir/issues/5940)) ([19f5757](https://github.com/noir-lang/noir/commit/19f5757a64c15a6b5a9478eceedb17c02d2351d7)) * User `super::` in LSP autocompletion if possible ([#5751](https://github.com/noir-lang/noir/issues/5751)) ([5192e53](https://github.com/noir-lang/noir/commit/5192e537708fc9ec51f53bb6a6629c9d682532d5)) * Warn on unused functions ([#5892](https://github.com/noir-lang/noir/issues/5892)) ([af3db4b](https://github.com/noir-lang/noir/commit/af3db4bf2e8f7feba6d06c3095d7cdf17c8dde75)) * Warn on unused imports ([#5847](https://github.com/noir-lang/noir/issues/5847)) ([58f855e](https://github.com/noir-lang/noir/commit/58f855ec2124db39e5b2b08630d514d852d0e7df)) ### Bug Fixes * (LSP) only add cached files relevant to workspace ([#5775](https://github.com/noir-lang/noir/issues/5775)) ([1958a79](https://github.com/noir-lang/noir/commit/1958a7932642e2fa556a903a3186b142a70e3e48)) * **acir_gen:** Nested dynamic array initialization ([#5810](https://github.com/noir-lang/noir/issues/5810)) ([4df53ad](https://github.com/noir-lang/noir/commit/4df53adfd0c5e2da70462b29fbf8d08e32203fc4)) * **acvm:** Clear ACIR call stack after successful circuit execution ([#5783](https://github.com/noir-lang/noir/issues/5783)) ([656a7d6](https://github.com/noir-lang/noir/commit/656a7d6c1e0c3597a61c3606e3155a70032c1599)) * Add locations to most SSA instructions ([#5697](https://github.com/noir-lang/noir/issues/5697)) ([85d5c85](https://github.com/noir-lang/noir/commit/85d5c8532acb21c39f3db466982039d1415d9300)) * Add missing trait impls for integer types to stdlib ([#5738](https://github.com/noir-lang/noir/issues/5738)) ([d3f20c6](https://github.com/noir-lang/noir/commit/d3f20c6f830a84fce9d75ce3fe28e31b391b47ab)) * Allow comptime code to use break without also being `unconstrained` ([#5744](https://github.com/noir-lang/noir/issues/5744)) ([c2a1a87](https://github.com/noir-lang/noir/commit/c2a1a87a6bcfc161ef5f550a17b603b0bccbab8e)) * Always place module attribute generated items inside module ([#5943](https://github.com/noir-lang/noir/issues/5943)) ([89ac6e0](https://github.com/noir-lang/noir/commit/89ac6e087debc37dcc729db0b68062418cd64d2e)) * Bit shifting type checking ([#5824](https://github.com/noir-lang/noir/issues/5824)) ([fb5136e](https://github.com/noir-lang/noir/commit/fb5136edda4b5b8ac6bba998939c94f11a27a59a)) * Check unused generics are bound ([#5840](https://github.com/noir-lang/noir/issues/5840)) ([82eb158](https://github.com/noir-lang/noir/commit/82eb1581251faa9716d762a673fa1b871b3e7be2)) * Collect functions generated by attributes ([#5930](https://github.com/noir-lang/noir/issues/5930)) ([2c22fe5](https://github.com/noir-lang/noir/commit/2c22fe555dc41fffc623026b4b8c57d44b869cd2)) * Correctly print string tokens ([#6021](https://github.com/noir-lang/noir/issues/6021)) ([b8a3a9b](https://github.com/noir-lang/noir/commit/b8a3a9b03f83bba486d2623640f97f1a080f2d73)) * **debugger:** Update the debugger to handle the new Brillig debug metadata format ([#5706](https://github.com/noir-lang/noir/issues/5706)) ([a31f82e](https://github.com/noir-lang/noir/commit/a31f82e598def60d00c65b79b8c5411f8aa832aa)) * Deflatten databus visibilities (https://github.com/AztecProtocol/aztec-packages/pull/7761) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Do not duplicate redundant Brillig debug metadata ([#5696](https://github.com/noir-lang/noir/issues/5696)) ([e4f7dbe](https://github.com/noir-lang/noir/commit/e4f7dbe63b55807b3ff0b4d6f47a8b7f847299fb)) * Do not use predicate for index in array operation, when the index is safe ([#5779](https://github.com/noir-lang/noir/issues/5779)) ([9d8f2bd](https://github.com/noir-lang/noir/commit/9d8f2bd759837d7f1f78c1b56b8e30de35c80867)) * **docs:** Fix file paths for metaprogramming docs ([#5826](https://github.com/noir-lang/noir/issues/5826)) ([a764c5b](https://github.com/noir-lang/noir/commit/a764c5be9b15e499e0720f28a1a177bfecbef352)) * Error when `quote` is used in runtime code ([#5978](https://github.com/noir-lang/noir/issues/5978)) ([cc30d88](https://github.com/noir-lang/noir/commit/cc30d88d85bb70248e452d9ec549d6dfe6be62ff)) * Error when comptime functions are used in runtime code ([#5976](https://github.com/noir-lang/noir/issues/5976)) ([ec24917](https://github.com/noir-lang/noir/commit/ec24917bfda55746c7509dd28f8d808f97c948b8)) * Error when comptime types are used in runtime code ([#5987](https://github.com/noir-lang/noir/issues/5987)) ([3d39196](https://github.com/noir-lang/noir/commit/3d39196040aa01e64c8a7fe989e2979a5de80023)) * Error when mutating comptime variables in non-comptime code ([#6003](https://github.com/noir-lang/noir/issues/6003)) ([e20c44d](https://github.com/noir-lang/noir/commit/e20c44dcb21edd3ec2bbc015d85754872e86740e)) * Export brillig names in contract functions (https://github.com/AztecProtocol/aztec-packages/pull/8212) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Fix some mistakes in arithmetic generics docs ([#5999](https://github.com/noir-lang/noir/issues/5999)) ([29550d1](https://github.com/noir-lang/noir/commit/29550d1d7698a1af65b867171ff80e817f3ed2f6)) * Fix using lazily elaborated comptime globals ([#5995](https://github.com/noir-lang/noir/issues/5995)) ([f6f493c](https://github.com/noir-lang/noir/commit/f6f493cb73e24337a7f11507b2b492d98cac2ada)) * **frontend:** Ban type vars bound to a reference from passing the unconstrained boundary ([#5949](https://github.com/noir-lang/noir/issues/5949)) ([ce34fbd](https://github.com/noir-lang/noir/commit/ce34fbd19702b71426563a589235a2c5a1efb265)) * **frontend:** Continue type check if we are missing an unsafe block ([#5720](https://github.com/noir-lang/noir/issues/5720)) ([86de991](https://github.com/noir-lang/noir/commit/86de991051a34567077076aa09a85b26eeff2ab2)) * Handle multiple entry points for Brillig call stack resolution after metadata deduplication ([#5788](https://github.com/noir-lang/noir/issues/5788)) ([38fe9dd](https://github.com/noir-lang/noir/commit/38fe9dda111952fdb894df90a319c087382edfc9)) * Help link was outdated ([#6004](https://github.com/noir-lang/noir/issues/6004)) ([d1e52f3](https://github.com/noir-lang/noir/commit/d1e52f3f3824ead1fd617fc21fcbe1051911986d)) * Honor function visibility in LSP completion ([#5809](https://github.com/noir-lang/noir/issues/5809)) ([335de05](https://github.com/noir-lang/noir/commit/335de054dfcda366df50cc215900910ebdc8be63)) * Let `derive(Eq)` work for empty structs ([#5965](https://github.com/noir-lang/noir/issues/5965)) ([ff8e8b5](https://github.com/noir-lang/noir/commit/ff8e8b5fae4db57bd7f819d0e23c68262057b790)) * Let LSP autocompletion work in more contexts ([#5719](https://github.com/noir-lang/noir/issues/5719)) ([03ba6dd](https://github.com/noir-lang/noir/commit/03ba6dd328d56bf71c9e2b501c59eb9a6cdb95db)) * LSP document symbol didn't work for primitive impls ([#5970](https://github.com/noir-lang/noir/issues/5970)) ([e1f81da](https://github.com/noir-lang/noir/commit/e1f81da1d8cfcc9cfe3d1bd2ed6f762580800ad9)) * **mem2reg:** Handle aliases better when setting a known value for a load ([#5959](https://github.com/noir-lang/noir/issues/5959)) ([1b72a17](https://github.com/noir-lang/noir/commit/1b72a17e621465ac1dfaaf8948edcebd4f1b0b15)) * **mem2reg:** Handle aliases in function last store cleanup and additional alias unit test ([#5967](https://github.com/noir-lang/noir/issues/5967)) ([36756e8](https://github.com/noir-lang/noir/commit/36756e8757ad40e2b231747ed754273f50e5dc2f)) * **nargo:** Resolve Brillig assertion payloads ([#5872](https://github.com/noir-lang/noir/issues/5872)) ([f53a28b](https://github.com/noir-lang/noir/commit/f53a28bd3e70e9331e01f1fec4984e747723df74)) * Prevent comptime println from crashing LSP ([#5918](https://github.com/noir-lang/noir/issues/5918)) ([44cf9a2](https://github.com/noir-lang/noir/commit/44cf9a2140bc06b550d4b46966f1637598ac11a7)) * Replace unused ArrayGet/Set with constrain if possibly out of bounds ([#5691](https://github.com/noir-lang/noir/issues/5691)) ([a87d926](https://github.com/noir-lang/noir/commit/a87d92629c49c91d47685dba9a2a6dce4440756d)) * Restrict keccak256_injective test input to 8 bits ([#5977](https://github.com/noir-lang/noir/issues/5977)) ([a1b1346](https://github.com/noir-lang/noir/commit/a1b1346bf7525c508fd390393c307475cc2345d7)) * **sha256:** Add extra checks against message size when constructing msg blocks ([#5861](https://github.com/noir-lang/noir/issues/5861)) ([46e266a](https://github.com/noir-lang/noir/commit/46e266a5229dada42ee397beb0d39322451b1458)) * **sha256:** Fix upper bound when building msg block and delay final block compression under certain cases ([#5838](https://github.com/noir-lang/noir/issues/5838)) ([130b7b6](https://github.com/noir-lang/noir/commit/130b7b6871ad165a75df5fa5760c94a7402521f4)) * **sha256:** Perform compression per block and utilize ROM instead of RAM when setting up the message block ([#5760](https://github.com/noir-lang/noir/issues/5760)) ([c52dc1c](https://github.com/noir-lang/noir/commit/c52dc1c77aedf5a876a858cc5a942c29e868e9e6)) * Suggest trait attributes in LSP ([#5972](https://github.com/noir-lang/noir/issues/5972)) ([d6f60d7](https://github.com/noir-lang/noir/commit/d6f60d70dc41640ad84f7a968927b20818bcaf2a)) * Support debug comptime flag for attributes ([#5929](https://github.com/noir-lang/noir/issues/5929)) ([34f21c0](https://github.com/noir-lang/noir/commit/34f21c0eadfc8a03f5177d72de7958903de8ac98)) * Temporary register leaks in brillig gen (https://github.com/AztecProtocol/aztec-packages/pull/8350) ([33bd102](https://github.com/noir-lang/noir/commit/33bd102d6021912b56fe880efab65346c3ea9228)) * Try to move constant terms to one side for arithmetic generics ([#6008](https://github.com/noir-lang/noir/issues/6008)) ([4d8fe28](https://github.com/noir-lang/noir/commit/4d8fe28f6d0930b6e9cfe0d39dd003466b20b8b6)) * Unconstrained fn mismatch is now a warning ([#5764](https://github.com/noir-lang/noir/issues/5764)) ([37af966](https://github.com/noir-lang/noir/commit/37af966024d5eb38eae5092a7976445e4bbe8adb)) * Use element_size() instead of computing it with division ([#5939](https://github.com/noir-lang/noir/issues/5939)) ([6a45007](https://github.com/noir-lang/noir/commit/6a450076be2889c05428ea1285c5c149cfaf4456)) * Use module name as line after which we'll insert auto-import ([#6025](https://github.com/noir-lang/noir/issues/6025)) ([c2e4a9a](https://github.com/noir-lang/noir/commit/c2e4a9a02c0138f6a8878f51291320ba7e57c79c)) </details> <details><summary>0.50.0</summary> ## [0.50.0](https://github.com/noir-lang/noir/compare/v0.49.0...v0.50.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) * **avm:** variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) * **avm/brillig:** take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) * constant inputs for blackbox (https://github.com/AztecProtocol/aztec-packages/pull/7222) * add session id to foreign call RPC requests ([#5205](https://github.com/noir-lang/noir/issues/5205)) * restrict noir word size to u32 ([#5180](https://github.com/noir-lang/noir/issues/5180)) ### Features * (bb) 128-bit challenges (https://github.com/AztecProtocol/aztec-packages/pull/8406) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * **acir_gen:** Width aware ACIR gen addition ([#5493](https://github.com/noir-lang/noir/issues/5493)) ([85fa592](https://github.com/noir-lang/noir/commit/85fa592fdef3b8589ce03b232e1b51565837b540)) * Add assertions for ACVM `FunctionInput` `bit_size` ([#5864](https://github.com/noir-lang/noir/issues/5864)) ([8712f4c](https://github.com/noir-lang/noir/commit/8712f4c20d23f3809bcfb03f2e3ba0e5ace20a1d)) * Add Not instruction in brillig (https://github.com/AztecProtocol/aztec-packages/pull/8488) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Add recursive aggregation object to proving/verification keys (https://github.com/AztecProtocol/aztec-packages/pull/6770) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Add reusable procedures to brillig generation (https://github.com/AztecProtocol/aztec-packages/pull/7981) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Add session id to foreign call RPC requests ([#5205](https://github.com/noir-lang/noir/issues/5205)) ([14adafc](https://github.com/noir-lang/noir/commit/14adafc965fa9c833e096ec037e086aae67703ad)) * Added indirect const instruction (https://github.com/AztecProtocol/aztec-packages/pull/8065) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Adding aggregation to honk and rollup (https://github.com/AztecProtocol/aztec-packages/pull/7466) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Automate verify_honk_proof input generation (https://github.com/AztecProtocol/aztec-packages/pull/8092) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **avm/brillig:** Take addresses in calldatacopy (https://github.com/AztecProtocol/aztec-packages/pull/8388) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * **avm:** Variants for SET opcode (https://github.com/AztecProtocol/aztec-packages/pull/8441) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Avoid heap allocs when going to/from field (https://github.com/AztecProtocol/aztec-packages/pull/7547) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Change the layout of arrays and vectors to be a single pointer (https://github.com/AztecProtocol/aztec-packages/pull/8448) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Constant inputs for blackbox (https://github.com/AztecProtocol/aztec-packages/pull/7222) ([fb97bb9](https://github.com/noir-lang/noir/commit/fb97bb9b795c9d7af395b82fd6f0ea8111d59c11)) * Hook up secondary calldata column in dsl (https://github.com/AztecProtocol/aztec-packages/pull/7759) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Integrate new proving systems in e2e (https://github.com/AztecProtocol/aztec-packages/pull/6971) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Make Brillig do integer arithmetic operations using u128 instead of Bigint (https://github.com/AztecProtocol/aztec-packages/pull/7518) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Make token transfer be recursive (https://github.com/AztecProtocol/aztec-packages/pull/7730) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * **nargo:** Hidden option to show contract artifact paths written by `nargo compile` (https://github.com/AztecProtocol/aztec-packages/pull/6131) ([ff67e14](https://github.com/noir-lang/noir/commit/ff67e145d086bf6fdf58fb5e57927033e52e03d3)) * New test programs for wasm benchmarking (https://github.com/AztecProtocol/aztec-packages/pull/8389) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Note hashes as points (https://github.com/AztecProtocol/aztec-packages/pull/7618) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Optimize constant array handling in brillig_gen (https://github.com/AztecProtocol/aztec-packages/pull/7661) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Optimize to_radix (https://github.com/AztecProtocol/aztec-packages/pull/8073) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Pass calldata ids to the backend (https://github.com/AztecProtocol/aztec-packages/pull/7875) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Poseidon2 gates for Ultra arithmetisation (https://github.com/AztecProtocol/aztec-packages/pull/7494) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * **profiler:** Add support for brillig functions in opcodes-flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7698) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Removing superfluous call to MSM (https://github.com/AztecProtocol/aztec-packages/pull/7708) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Report gates and VKs of private protocol circuits with megahonk (https://github.com/AztecProtocol/aztec-packages/pull/7722) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Restrict noir word size to u32 ([#5180](https://github.com/noir-lang/noir/issues/5180)) ([bdb2bc6](https://github.com/noir-lang/noir/commit/bdb2bc608ea8fd52d46545a38b68dd2558b28110)) * Separate runtimes of SSA functions before inlining ([#5121](https://github.com/noir-lang/noir/issues/5121)) ([69eca9b](https://github.com/noir-lang/noir/commit/69eca9b8671fa54192bef814dd584fdb5387a5f7)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` ([#5140](https://github.com/noir-lang/noir/issues/5140)) ([2823ba7](https://github.com/noir-lang/noir/commit/2823ba7242db788ca1d7f6e7a48be2f1de62f278)) * Small optimization in toradix (https://github.com/AztecProtocol/aztec-packages/pull/8040) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7392) ([fb97bb9](https://github.com/noir-lang/noir/commit/fb97bb9b795c9d7af395b82fd6f0ea8111d59c11)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7400) ([fb97bb9](https://github.com/noir-lang/noir/commit/fb97bb9b795c9d7af395b82fd6f0ea8111d59c11)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7432) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7444) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7454) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7577) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7583) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7743) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7862) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7945) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7958) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8008) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8093) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8125) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8237) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8423) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8435) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8466) ([3c3ed1e](https://github.com/noir-lang/noir/commit/3c3ed1e3d28946a02071c524dd128afe131bc3da)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8482) ([d4832ec](https://github.com/noir-lang/noir/commit/d4832ece9d3ad16544afea49cc7caf40501a2cc3)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8512) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/8526) ([95e19ab](https://github.com/noir-lang/noir/commit/95e19ab9486ad054241b6e53e40e55bdba9dc7e5)) * TXE nr deployments, dependency cleanup for CLI (https://github.com/AztecProtocol/aztec-packages/pull/7548) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Typing return values of embedded_curve_ops (https://github.com/AztecProtocol/aztec-packages/pull/7413) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type (https://github.com/AztecProtocol/aztec-packages/pull/7993) ([5c4f19f](https://github.com/noir-lang/noir/commit/5c4f19f097dd3704522996330c961bf0a2db8d99)) ### Bug Fixes * Add support for nested arrays returned by oracles ([#5132](https://github.com/noir-lang/noir/issues/5132)) ([f846879](https://github.com/noir-lang/noir/commit/f846879dd038328bd0a1d39a72b448ef52a1002b)) * Add trailing extra arguments for backend in gates_flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7472) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Avoid unnecessarily splitting expressions with multiplication terms with a shared term ([#5291](https://github.com/noir-lang/noir/issues/5291)) ([19884f1](https://github.com/noir-lang/noir/commit/19884f161dfc7d7ce75dd2c404b8ef39cdad2240)) * **debugger:** Update the debugger to handle the new Brillig debug metadata format ([#5706](https://github.com/noir-lang/noir/issues/5706)) ([a31f82e](https://github.com/noir-lang/noir/commit/a31f82e598def60d00c65b79b8c5411f8aa832aa)) * Deflatten databus visibilities (https://github.com/AztecProtocol/aztec-packages/pull/7761) ([4ea25db](https://github.com/noir-lang/noir/commit/4ea25dbde87488e758139619a3ce4edf93c6ebd6)) * Do not duplicate redundant Brillig debug metadata ([#5696](https://github.com/noir-lang/noir/issues/5696)) ([e4f7dbe](https://github.com/noir-lang/noir/commit/e4f7dbe63b55807b3ff0b4d6f47a8b7f847299fb)) * Export brillig names in contract functions (https://github.com/AztecProtocol/aztec-packages/pull/8212) ([f0c2686](https://github.com/noir-lang/noir/commit/f0c268606a71381ab4504396695a0adb9b3258b6)) * Handle multiple entry points for Brillig call stack resolution after metadata deduplication ([#5788](https://github.com/noir-lang/noir/issues/5788)) ([38fe9dd](https://github.com/noir-lang/noir/commit/38fe9dda111952fdb894df90a319c087382edfc9)) * Handle struct with nested arrays in oracle return values ([#5244](https://github.com/noir-lang/noir/issues/5244)) ([a30814f](https://github.com/noir-lang/noir/commit/a30814f1f767bf874cd7e2969f5061c68f16b9a7)) * Move BigInt modulus checks to runtime in brillig ([#5374](https://github.com/noir-lang/noir/issues/5374)) ([741d339](https://github.com/noir-lang/noir/commit/741d33991f8e2918bf092c354ca56047e0274533)) * Restrict keccak256_injective test input to 8 bits ([#5977](https://github.com/noir-lang/noir/issues/5977)) ([a1b1346](https://github.com/noir-lang/noir/commit/a1b1346bf7525c508fd390393c307475cc2345d7)) * Revert "feat: Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512)" (https://github.com/AztecProtocol/aztec-packages/pull/7558) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575)) * Runtime brillig bigint id assignment ([#5369](https://github.com/noir-lang/noir/issues/5369)) ([a8928dd](https://github.com/noir-lang/noir/commit/a8928ddcffcae15babf7aa5aff0e462e4549552e)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). --------- Co-authored-by: Tom French <tom@tomfren.ch>

🤖 I have created a release *beep* *boop* --- <details><summary>0.35.0</summary> ## [0.35.0](v0.34.0...v0.35.0) (2024-10-03) ### ⚠ BREAKING CHANGES * Syncing TypeVariableKind with Kind ([#6094](#6094)) * remove sha256 opcode (AztecProtocol/aztec-packages#4571) * add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) * Infer globals to be u32 when used in a type ([#6083](#6083)) * removing implicit numeric generics ([#5837](#5837)) ### Features * (LSP) if in runtime code, always suggest functions that return Quoted as macro calls ([#6098](#6098)) ([4a160cb](4a160cb)) * (LSP) remove unused imports ([#6129](#6129)) ([98bc460](98bc460)) * (LSP) show global value on hover ([#6097](#6097)) ([3d9d072](3d9d072)) * (LSP) suggest $vars inside `quote { ... }` ([#6114](#6114)) ([73245b3](73245b3)) * Add `Expr::as_constructor` ([#5980](#5980)) ([76dea7b](76dea7b)) * Add `Expr::as_for` and `Expr::as_for_range` ([#6039](#6039)) ([abcae75](abcae75)) * Add `Expr::as_lambda` ([#6048](#6048)) ([31130dc](31130dc)) * Add a `comptime` string type for string handling at compile-time ([#6026](#6026)) ([5d2984f](5d2984f)) * Add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) ([e8bbce7](e8bbce7)) * Allow silencing an unused variable defined via `let` ([#6149](#6149)) ([a2bc059](a2bc059)) * Allow visibility modifiers in struct definitions ([#6054](#6054)) ([199be58](199be58)) * Check unconstrained trait impl method matches ([#6057](#6057)) ([aedc983](aedc983)) * Default to outputting witness with file named after package ([#6031](#6031)) ([e74b4ae](e74b4ae)) * Detect unconstructed structs ([#6061](#6061)) ([bcb438b](bcb438b)) * Do not double error on import with error ([#6131](#6131)) ([9b26650](9b26650)) * Expose `derived_generators` and `pedersen_commitment_with_separator` from the stdlib ([#6154](#6154)) ([877b806](877b806)) * Faster LSP by caching file managers ([#6047](#6047)) ([c48a4f8](c48a4f8)) * Hoist constant allocation outside of loops ([#6158](#6158)) ([180bfc9](180bfc9)) * Implement `to_be_radix` in the comptime interpreter ([#6043](#6043)) ([1550278](1550278)) * Implement solver for mov_registers_to_registers ([#6089](#6089)) ([4170c55](4170c55)) * Implement type paths ([#6093](#6093)) ([2174ffb](2174ffb)) * Let `Module::functions` and `Module::structs` return them in definition order ([#6178](#6178)) ([dec9874](dec9874)) * Let LSP suggest macro calls too ([#6090](#6090)) ([26d275b](26d275b)) * Let LSP suggest trait impl methods as you are typing them ([#6029](#6029)) ([dfed81b](dfed81b)) * LSP autocompletion for `TypePath` ([#6117](#6117)) ([3f79d8f](3f79d8f)) * **metaprogramming:** Add `#[use_callers_scope]` ([#6050](#6050)) ([8c34046](8c34046)) * Optimize allocating immediate amounts of memory (AztecProtocol/aztec-packages#8579) ([e8bbce7](e8bbce7)) * Optimize constraints in sha256 ([#6145](#6145)) ([164d29e](164d29e)) * **perf:** Allow array set last uses optimization in return block of Brillig functions ([#6119](#6119)) ([5598059](5598059)) * **perf:** Handle array set optimization across blocks for Brillig functions ([#6153](#6153)) ([12cb80a](12cb80a)) * **perf:** Optimize array set from get ([#6207](#6207)) ([dfeb1c5](dfeb1c5)) * **perf:** Remove inc_rc instructions for arrays which are never mutably borrowed ([#6168](#6168)) ([a195442](a195442)) * **perf:** Remove redundant inc rc without instructions between ([#6183](#6183)) ([be9dcfe](be9dcfe)) * **perf:** Remove unused loads in mem2reg and last stores per function ([#5925](#5925)) ([19eef30](19eef30)) * **perf:** Remove useless paired RC instructions within a block during DIE ([#6160](#6160)) ([59c4118](59c4118)) * **perf:** Simplify the cfg after DIE ([#6184](#6184)) ([a1b5046](a1b5046)) * Pretty print Quoted token stream ([#6111](#6111)) ([cd81f85](cd81f85)) * Refactor SSA passes to run on individual functions ([#6072](#6072)) ([85c502c](85c502c)) * Remove aztec macros ([#6087](#6087)) ([9d96207](9d96207)) * Remove orphaned blocks from cfg to improve `simplify_cfg` pass. ([#6198](#6198)) ([b4712c5](b4712c5)) * Remove sha256 opcode (AztecProtocol/aztec-packages#4571) ([e8bbce7](e8bbce7)) * Remove unnecessary branching in keccak impl ([#6133](#6133)) ([9c69dce](9c69dce)) * Represent assertions more similarly to function calls ([#6103](#6103)) ([3ecd0e2](3ecd0e2)) * Show test output when running via LSP ([#6049](#6049)) ([9fb010e](9fb010e)) * Simplify sha256 implementation ([#6142](#6142)) ([acdfbbc](acdfbbc)) * Skip `remove_enable_side_effects` pass on brillig functions ([#6199](#6199)) ([2303615](2303615)) * **ssa:** Simplify signed casts ([#6166](#6166)) ([eec3a61](eec3a61)) * Swap endianness in-place in keccak implementation ([#6128](#6128)) ([e3cdebe](e3cdebe)) * Syncing TypeVariableKind with Kind ([#6094](#6094)) ([6440e18](6440e18)) * Visibility for globals ([#6161](#6161)) ([103b54d](103b54d)) * Visibility for modules ([#6165](#6165)) ([fcdbcb9](fcdbcb9)) * Visibility for traits ([#6056](#6056)) ([5bbd9ba](5bbd9ba)) * Visibility for type aliases ([#6058](#6058)) ([66d2a07](66d2a07)) ### Bug Fixes * (LSP) make goto and hover work well for attributes ([#6152](#6152)) ([c679bc6](c679bc6)) * Allow macros to change types on each iteration of a comptime loop ([#6105](#6105)) ([0864e7c](0864e7c)) * Allow providing default implementations of unconstrained trait methods ([#6138](#6138)) ([7679bbc](7679bbc)) * Always parse all tokens from quoted token streams ([#6064](#6064)) ([23ed74b](23ed74b)) * Be more lenient with semicolons on interned expressions ([#6062](#6062)) ([052c4fe](052c4fe)) * Consider constants as used values to keep their rc ops ([#6122](#6122)) ([1217005](1217005)) * Correct stack trace order in comptime assertion failures ([#6066](#6066)) ([04f1636](04f1636)) * Databus panic for fns with empty params (AztecProtocol/aztec-packages#8847) ([d252748](d252748)) * Decode databus return values ([#6095](#6095)) ([c40eb1f](c40eb1f)) * Disable side-effects for no_predicates functions ([#6027](#6027)) ([fc74c55](fc74c55)) * Disambiguate field or int static trait method call ([#6112](#6112)) ([5b27ea4](5b27ea4)) * Do not duplicate constant arrays in brillig ([#6155](#6155)) ([68f3022](68f3022)) * **docs:** Rename recursion.md to recursion.mdx ([#6195](#6195)) ([054e48b](054e48b)) * Don't crash on untyped global used as array length ([#6076](#6076)) ([426f295](426f295)) * Ensure to_bytes returns the canonical decomposition ([#6084](#6084)) ([b280a79](b280a79)) * Error on `&mut x` when `x` is not mutable ([#6037](#6037)) ([57afc7d](57afc7d)) * Fix canonicalization bug ([#6033](#6033)) ([7397772](7397772)) * Fix comptime type formatting ([#6079](#6079)) ([e678091](e678091)) * Handle multi-byte utf8 characters in formatter ([#6118](#6118)) ([b1d0619](b1d0619)) * Handle parenthesized expressions in array length ([#6132](#6132)) ([9f0b397](9f0b397)) * Ignore compression of blocks after msg.len in sha256_var ([#6206](#6206)) ([76eec71](76eec71)) * Infer globals to be u32 when used in a type ([#6083](#6083)) ([78262c9](78262c9)) * Initialise databus using return values ([#6074](#6074)) ([e17dfa5](e17dfa5)) * Let LSP suggest fields and methods in LValue chains ([#6051](#6051)) ([5bf6567](5bf6567)) * Let token pretty printer handle `+=` and similar token sequences ([#6135](#6135)) ([684b6cc](684b6cc)) * **mem2reg:** Remove possibility of underflow ([#6107](#6107)) ([aea5cc7](aea5cc7)) * Parse a statement as an expression ([#6040](#6040)) ([ab203e4](ab203e4)) * Pass radix directly to the blackbox ([#6164](#6164)) ([82b89c4](82b89c4)) * Preserve generic kind on trait methods ([#6099](#6099)) ([1df102a](1df102a)) * Prevent check_can_mutate crashing on undefined variable ([#6044](#6044)) ([b3accfc](b3accfc)) * Revert mistaken stack size change ([#6212](#6212)) ([a37117a](a37117a)) * **ssa:** Check if result of array set is used in value of another array set ([#6197](#6197)) ([594ec91](594ec91)) * **ssa:** RC correctness issue ([#6134](#6134)) ([5b1c896](5b1c896)) * Type variables by default should have Any kind ([#6203](#6203)) ([268f2a0](268f2a0)) * Unify macro result type with actual type ([#6086](#6086)) ([af52873](af52873)) * Update databus in flattening ([#6063](#6063)) ([e993da1](e993da1)) ### Miscellaneous Chores * Removing implicit numeric generics ([#5837](#5837)) ([eda9043](eda9043)) </details> <details><summary>0.51.0</summary> ## [0.51.0](v0.50.0...v0.51.0) (2024-10-03) ### ⚠ BREAKING CHANGES * remove sha256 opcode (AztecProtocol/aztec-packages#4571) * add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) * Add Not instruction in brillig (AztecProtocol/aztec-packages#8488) * **avm:** variants for SET opcode (AztecProtocol/aztec-packages#8441) * **avm/brillig:** take addresses in calldatacopy (AztecProtocol/aztec-packages#8388) * constant inputs for blackbox (AztecProtocol/aztec-packages#7222) ### Features * (bb) 128-bit challenges (AztecProtocol/aztec-packages#8406) ([3c3ed1e](3c3ed1e)) * **acir_gen:** Width aware ACIR gen addition ([#5493](#5493)) ([85fa592](85fa592)) * Add assertions for ACVM `FunctionInput` `bit_size` ([#5864](#5864)) ([8712f4c](8712f4c)) * Add Not instruction in brillig (AztecProtocol/aztec-packages#8488) ([95e19ab](95e19ab)) * Add recursive aggregation object to proving/verification keys (AztecProtocol/aztec-packages#6770) ([4ea25db](4ea25db)) * Add reusable procedures to brillig generation (AztecProtocol/aztec-packages#7981) ([5c4f19f](5c4f19f)) * Add support for u1 in the avm, ToRadix's radix arg is a memory addr (AztecProtocol/aztec-packages#8570) ([e8bbce7](e8bbce7)) * Added indirect const instruction (AztecProtocol/aztec-packages#8065) ([5c4f19f](5c4f19f)) * Adding aggregation to honk and rollup (AztecProtocol/aztec-packages#7466) ([4ea25db](4ea25db)) * Automate verify_honk_proof input generation (AztecProtocol/aztec-packages#8092) ([5c4f19f](5c4f19f)) * **avm/brillig:** Take addresses in calldatacopy (AztecProtocol/aztec-packages#8388) ([3c3ed1e](3c3ed1e)) * **avm:** Variants for SET opcode (AztecProtocol/aztec-packages#8441) ([3c3ed1e](3c3ed1e)) * Avoid heap allocs when going to/from field (AztecProtocol/aztec-packages#7547) ([daad75c](daad75c)) * Change the layout of arrays and vectors to be a single pointer (AztecProtocol/aztec-packages#8448) ([d4832ec](d4832ec)) * Constant inputs for blackbox (AztecProtocol/aztec-packages#7222) ([fb97bb9](fb97bb9)) * Hook up secondary calldata column in dsl (AztecProtocol/aztec-packages#7759) ([4ea25db](4ea25db)) * Integrate new proving systems in e2e (AztecProtocol/aztec-packages#6971) ([daad75c](daad75c)) * Make Brillig do integer arithmetic operations using u128 instead of Bigint (AztecProtocol/aztec-packages#7518) ([daad75c](daad75c)) * Make token transfer be recursive (AztecProtocol/aztec-packages#7730) ([4ea25db](4ea25db)) * New test programs for wasm benchmarking (AztecProtocol/aztec-packages#8389) ([95e19ab](95e19ab)) * Note hashes as points (AztecProtocol/aztec-packages#7618) ([4ea25db](4ea25db)) * Optimize allocating immediate amounts of memory (AztecProtocol/aztec-packages#8579) ([e8bbce7](e8bbce7)) * Optimize constant array handling in brillig_gen (AztecProtocol/aztec-packages#7661) ([4ea25db](4ea25db)) * Optimize to_radix (AztecProtocol/aztec-packages#8073) ([5c4f19f](5c4f19f)) * Pass calldata ids to the backend (AztecProtocol/aztec-packages#7875) ([4ea25db](4ea25db)) * Poseidon2 gates for Ultra arithmetisation (AztecProtocol/aztec-packages#7494) ([5c4f19f](5c4f19f)) * **profiler:** Add support for brillig functions in opcodes-flamegraph (AztecProtocol/aztec-packages#7698) ([4ea25db](4ea25db)) * Remove sha256 opcode (AztecProtocol/aztec-packages#4571) ([e8bbce7](e8bbce7)) * Removing superfluous call to MSM (AztecProtocol/aztec-packages#7708) ([4ea25db](4ea25db)) * Report gates and VKs of private protocol circuits with megahonk (AztecProtocol/aztec-packages#7722) ([4ea25db](4ea25db)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` ([#5140](#5140)) ([2823ba7](2823ba7)) * Small optimization in toradix (AztecProtocol/aztec-packages#8040) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#7392) ([fb97bb9](fb97bb9)) * Sync from noir (AztecProtocol/aztec-packages#7400) ([fb97bb9](fb97bb9)) * Sync from noir (AztecProtocol/aztec-packages#7432) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7444) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7454) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7512) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7577) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7583) ([daad75c](daad75c)) * Sync from noir (AztecProtocol/aztec-packages#7743) ([4ea25db](4ea25db)) * Sync from noir (AztecProtocol/aztec-packages#7862) ([4ea25db](4ea25db)) * Sync from noir (AztecProtocol/aztec-packages#7945) ([4ea25db](4ea25db)) * Sync from noir (AztecProtocol/aztec-packages#7958) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#8008) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#8093) ([5c4f19f](5c4f19f)) * Sync from noir (AztecProtocol/aztec-packages#8125) ([f0c2686](f0c2686)) * Sync from noir (AztecProtocol/aztec-packages#8237) ([f0c2686](f0c2686)) * Sync from noir (AztecProtocol/aztec-packages#8423) ([3c3ed1e](3c3ed1e)) * Sync from noir (AztecProtocol/aztec-packages#8435) ([3c3ed1e](3c3ed1e)) * Sync from noir (AztecProtocol/aztec-packages#8466) ([3c3ed1e](3c3ed1e)) * Sync from noir (AztecProtocol/aztec-packages#8482) ([d4832ec](d4832ec)) * Sync from noir (AztecProtocol/aztec-packages#8512) ([95e19ab](95e19ab)) * Sync from noir (AztecProtocol/aztec-packages#8526) ([95e19ab](95e19ab)) * TXE nr deployments, dependency cleanup for CLI (AztecProtocol/aztec-packages#7548) ([4ea25db](4ea25db)) * Typing return values of embedded_curve_ops (AztecProtocol/aztec-packages#7413) ([daad75c](daad75c)) * Unify all acir recursion constraints based on RecursionConstraint and proof_type (AztecProtocol/aztec-packages#7993) ([5c4f19f](5c4f19f)) ### Bug Fixes * Add trailing extra arguments for backend in gates_flamegraph (AztecProtocol/aztec-packages#7472) ([daad75c](daad75c)) * **debugger:** Update the debugger to handle the new Brillig debug metadata format ([#5706](#5706)) ([a31f82e](a31f82e)) * Deflatten databus visibilities (AztecProtocol/aztec-packages#7761) ([4ea25db](4ea25db)) * Do not duplicate redundant Brillig debug metadata ([#5696](#5696)) ([e4f7dbe](e4f7dbe)) * Export brillig names in contract functions (AztecProtocol/aztec-packages#8212) ([f0c2686](f0c2686)) * Handle multiple entry points for Brillig call stack resolution after metadata deduplication ([#5788](#5788)) ([38fe9dd](38fe9dd)) * Move BigInt modulus checks to runtime in brillig ([#5374](#5374)) ([741d339](741d339)) * Restrict keccak256_injective test input to 8 bits ([#5977](#5977)) ([a1b1346](a1b1346)) * Revert "feat: Sync from noir (AztecProtocol/aztec-packages#7512)" (AztecProtocol/aztec-packages#7558) ([daad75c](daad75c)) * Runtime brillig bigint id assignment ([#5369](#5369)) ([a8928dd](a8928dd)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

fcarreiro requested review from dbanks12, jeanmon and IlyasRidhuan as code owners September 5, 2024 11:50

fcarreiro requested review from sirasistant and removed request for IlyasRidhuan and jeanmon September 5, 2024 11:51

fcarreiro force-pushed the fc/avm-calldatacopy-mod branch from 689c6e9 to 1ce3294 Compare September 5, 2024 15:14

fcarreiro requested review from TomAFrench, vezenovm and guipublic as code owners September 5, 2024 15:14

fcarreiro removed request for TomAFrench, vezenovm and guipublic September 5, 2024 15:20

feat(avm/brillig): take addresses in calldatacopy

9de462a

fcarreiro force-pushed the fc/avm-calldatacopy-mod branch 2 times, most recently from 865272e to bf18e64 Compare September 6, 2024 08:38

fcarreiro changed the title ~~feat(avm/brillig): take addresses in calldatacopy~~ feat(avm/brillig)!: take addresses in calldatacopy Sep 6, 2024

fcarreiro force-pushed the fc/avm-calldatacopy-mod branch from bf18e64 to 6add047 Compare September 6, 2024 09:23

sirasistant approved these changes Sep 6, 2024

View reviewed changes

fix: entrypoint register allocation

963bc66

fcarreiro force-pushed the fc/avm-calldatacopy-mod branch from 6add047 to 963bc66 Compare September 6, 2024 10:22

TomAFrench merged commit eab944c into master Sep 9, 2024
99 of 100 checks passed

TomAFrench deleted the fc/avm-calldatacopy-mod branch September 9, 2024 11:02

AztecBot mentioned this pull request Sep 9, 2024

feat: Sync from aztec-packages noir-lang/noir#5971

Merged

noirwhal mentioned this pull request Sep 11, 2024

chore: Release Noir(0.34.0) noir-lang/noir#5692

Merged

noirwhal mentioned this pull request Sep 13, 2024

chore: Release Noir(0.35.0) noir-lang/noir#6030

Merged

noirwhal mentioned this pull request Oct 3, 2024

chore: Release Noir() noir-lang/noir#6213

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(avm/brillig)!: take addresses in calldatacopy #8388

feat(avm/brillig)!: take addresses in calldatacopy #8388

fcarreiro commented Sep 5, 2024 •

edited

Loading

fcarreiro commented Sep 5, 2024

TomAFrench commented Sep 6, 2024

sirasistant left a comment

feat(avm/brillig)!: take addresses in calldatacopy #8388

feat(avm/brillig)!: take addresses in calldatacopy #8388

Conversation

fcarreiro commented Sep 5, 2024 • edited Loading

fcarreiro commented Sep 5, 2024

TomAFrench commented Sep 6, 2024

sirasistant left a comment

Choose a reason for hiding this comment

fcarreiro commented Sep 5, 2024 •

edited

Loading